Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by Kraks
A curated list of projects in awesome lists by Kraks .
https://github.com/kraks/sai
Staged Abstract Interpreters
abstract-interpretation interpreters meta-programming scala staging symbolic-execution
Last synced: 28 Oct 2024
https://github.com/Kraks/sai
Staged Abstract Interpreters
abstract-interpretation interpreters meta-programming scala staging symbolic-execution
Last synced: 08 Aug 2024
https://github.com/kraks/diamond-lang
A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
Last synced: 27 Oct 2024
https://github.com/kraks/myplzoo
Implementations of various toy programming languages
Last synced: 06 Nov 2024
https://github.com/kraks/verifyo
Experiments with writing relational verifier/synthesizer in miniKanren.
Last synced: 06 Nov 2024
https://github.com/kraks/sat.rkt
A simple SAT solver based on DPLL written in Racket.
Last synced: 06 Nov 2024
https://github.com/kraks/quantum-compiler
Quantum circuits compiler with staging and continuations
compiler continuation-passing-style continuations multi-stage-programming quantum-circuit-simulator quantum-compiler quantum-computing quantum-programming-language staging
Last synced: 10 Oct 2024
https://github.com/kraks/lisp.js
A tiny lisp interpreter in JavaScript.
javascript lisp lisp-interpreter tiny
Last synced: 10 Oct 2024
https://github.com/kraks/refuncaam
Artifact of Refunctionalization of Abstract Abstract Machines (ICFP '18)
Last synced: 06 Nov 2024
https://github.com/kraks/the-little-schemer
Scheme code from the book The Little Schemer.
Last synced: 06 Nov 2024
https://github.com/kraks/dataflow-analysis
Racket Implementation of Data-flow Analyses
dataflow-analysis racket static-analysis
Last synced: 06 Nov 2024
https://github.com/kraks/sudoku
Sudoku generators and solvers in various functional styles.
Last synced: 06 Nov 2024
https://github.com/kraks/leetcode
My {Racket, Python} solutions for Leetcode algorithm problems
Last synced: 06 Nov 2024
https://github.com/kraks/2048.idr
Game 2048 written in a language with dependent types.
Last synced: 06 Nov 2024
https://github.com/kraks/dataviscourse15-guannanwei
CS6630 Visualization Homework
Last synced: 06 Nov 2024
https://github.com/kraks/plai
Code of the book Programming Languages Application and Interpretation
Last synced: 06 Nov 2024