ptol / oczor
Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
☆117Updated 7 years ago
Alternatives and similar repositories for oczor:
Users that are interested in oczor are comparing it to the libraries listed below
- A ML-family Language Compiled to Lua☆142Updated last month
- Elaborate and expressive S-Expression library for Haskell☆61Updated 8 months ago
- Haskell in S-expression☆170Updated 4 months ago
- Haskell bindings to the libui C library.☆47Updated 7 years ago
- Haskell Extensible Shell☆68Updated 4 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 4 years ago
- Collection of Idris tests and demonstration programs☆190Updated 6 years ago
- A language experiment -- irc.freenode.net ##coda☆162Updated 11 months ago
- Generate Haskell code from a type☆134Updated last month
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- Dynamic typing in Haskell☆191Updated 5 years ago
- 🌐 A Haskell binding to the webview library created by Serge Zaitsev.☆126Updated 3 years ago
- Haskell bindings to FLTK GUI toolkit.☆191Updated 2 years ago
- Language independent type-safe communication☆133Updated 7 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆92Updated 6 years ago
- A continuation-based backtracking logic programming monad☆86Updated 4 months ago
- The Haskell Refactoring Tool☆136Updated 5 years ago
- Fragment-based code distribution!☆126Updated 3 years ago
- Refinement types with static checking☆186Updated 3 months ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- Fast linear time sorting and discrimination for a large class of data types☆136Updated 5 months ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆131Updated 4 years ago
- Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.☆137Updated 5 years ago
- A Haskell implementation of the Shen programming language.☆166Updated 6 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- an implementation of stuck macros☆139Updated 2 weeks ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated last year
- Another implementation of Frank.☆70Updated 7 years ago
- 📚 A softer alternative to Haddock☆106Updated 5 years ago