jdevuyst Goto Github PK
Name: Jonas De Vuyst
Type: User
Bio: Functional programmer and former iOS developer. PhD in Philosophy and @recursecenter alumnus. Finished half a Bachelor CS program at some point.
Jonas De Vuyst's Projects
comprehend
Clojure in-memory database modeled on sets, not tables. Comprehend supports pattern matching, forward matching, rewriting, and transactional storage.
dependable-data-structures
Experiments in implementing functional data structures in Idris
dustpan
Swift mark-and-sweep garbage collector
episodic
Composable logging for Clojure
fastest
A Clojure library for non-deterministic and parallel branching
fletching-macros
Clojure macros that complement the clojure.core threading (arrow) macros
kripke
Clojure library for constructing and manipulating sequences of similar structures
rekenaar
Idris tactics for (commutative) monoids
ruminant
Swift persistent vectors à la Clojure
tableaux
Tableau-based theorem prover for public announcement logic
termcat
Termcat is a markup language for scientific and technical writing.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 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.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
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.