sorawee Goto Github PK
Type: User
sorawee's Projects
drracket-restore-workspace
Restore workspace for DrRacket
dynamic-ffi
Auto define Racket bindings to C by parsing header files.
egg-dropping-puzzle
Using Rosette to synthesize a strategy to solve the egg dropping puzzle
errortrace
errortrace-pkg
Errortrace installed packages
esterel
Esterel in Racket
evil
The extensible vi layer for Emacs.
fast-parameterize
Experiment on different ways to make parameterization faster
find-expr
fishy-completion
A proof-of-concept completion framework for DrRacket via fishy static analysis.
fmt
A code formatter for Racket
frog
Frog is a static web site generator implemented in Racket, targeting Bootstrap and able to use Pygments.
frpsynthesis
gregor
Date and time library for Racket
gui
harkness.js
helpful
Helpfully provide suggestions on unbound identifier error
htdp
ide-vscode
VSCode IDE Integration for Dafny
joymappersilicon
Nintendo Joy-Con / Pro Controller Mapper for Apple silicon
kleecket
KLEE + Racket
lakeroad
FPGA synthesis tool powered by program synthesis
lang-file
Functions for dealing with #lang files
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
license-audit
Audit package licenses (including their dependencies)
lispyville
lispy + evil = lispyville
list-plus
A form that collects values into a list while supporting internal-definitions
loop
Advanced named let for Racket
main-array
malicious
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.