Name: Patrik Jansson
Type: User
Company: Chalmers University of Technology
Location: Göteborg, Sweden
Professor of Computer Science in the Functional Programming group at Chalmers University of Technology and University of Gothenburg.
afpcourse
http://www.cse.chalmers.se/edu/course/afp/
agda-llvm
aopa
autosar
A simplified model of programming in autosar
bebras
Material för en presentation av IT-tävlingen Databävern
bnfc-meta-example
A small example use of BNFC-meta
cabal-bounds
A command line program for managing the bounds/versions of the dependencies in a cabal file.
classlaws
http://wiki.portal.chalmers.se/cse/pmwiki.php/FP/ClassLaws
codion
A numerical 2D Fokker-Planck ion drift kinetic equation solver
coegss
Informal repository of material for the DSL workpackage of the http://coegss.eu/ project.
complexityofbooleanfunctions
ctfp2014
Homework collaboration for the Category Theory in Functional Programming course at Chalmers
dth
Examples of Dependently-typed programs in Haskell
emacs-haskell-tutorial
Tutorial on setting up Emacs to do Haskell programming
endrehaskell
fp
Chalmers Functional Programming group material
functional-programming
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
gitbeginner
This is some course material for learning programming and github.
gloss
Painless 2D vector graphics, animations and simulations.
graceful
hmatrix
Linear algebra and numerical computation
icfp2016-papers
Link to preprints for ICFP'16 and co-located events
icfp2017-papers
Link to preprints for ICFP'17 and colocated events
idris-dev
A Dependently Typed Functional Programming Language
ireal
Haskell library for exact real arithmetic
javabeginner
kattis
Some haskell solutions to haskell problems
learning_dart
Learning about the Dart language
learninghaskelldataanalysis
Some notes and code from working through the book "Learning Haskell Data Analysis"
learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
