rscho314 Goto Github PK
Name: Raoul Schorer
Type: User
Company: Geneva University Hospitals
Location: Switzerland
Raoul Schorer's Projects
mk
microkanren DLS 16 a la J
mk_racket
literal translation of https://github.com/jasonhemann/microKanren to racket to benefit from racket tooling
mkudo
microkanren-in-J with unification based upon: M. Udovicic, 'Unification Algorithms', in Advanced Technologies, Systems, and Applications IV - Proceedings of the International Symposium on Innovative and Interdisciplinary Applications of Advanced Technologies (IAT 2019), Cham, 2020, pp. 606\[Dash]620, doi : 10.1007/978 - 3 - 030 - 24986 - 1 _ 48.
myapl
an APL experiment
new_kanren
microkanren Hemann 2016
origami
origami-racket
pengines_smalltalk
phonebook_parser
plot
polytrauma
racket
The Racket repository
racket-jlang
racket-multimethod
Proof-of-concept, mostly safe multimethods in Racket
racket_relational_stats
regexp
Regular Expression
scripts
semanticmedline
Trials and tribulations in logic programming on SemmedDB
sicp
sql
Embedding of some of SQL into Racket
sqldf-mirror
swilit
two_sensors
bme680 + max31856 working together over SPI
typed-racket
require/untyped-contract can be passed a language description
unification
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.