igorw / reasoned-php

Related projects: ⓘ

• edwinb / idris-php
  Yes, really...
  ☆172Updated 7 years ago
• jhartikainen / hs-language-php
  Experimental Haskell PHP parser / evaluator / code generator
  ☆50Updated 9 years ago
• enkiv2 / mycroft
  A prolog-like language with compound truth value logic
  ☆69Updated 6 years ago
• zjhmale / Ntha
  The Ntha Programming Language
  ☆93Updated 7 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• humanistic / REN
  The REN human friendly data notation
  ☆54Updated 5 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆152Updated 2 months ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 5 years ago
• spring-attic / monadic
  Do-notation and Monads for JavaScript
  ☆26Updated 2 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 6 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• nikita-volkov / strelka
  A simple, flexible and composable web-router
  ☆85Updated 5 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆68Updated 6 years ago
• idris-hackers / IdrisWeb
  A secure web framework, built in the Idris language.
  ☆109Updated 10 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 5 years ago
• sgreben / ok
  OCaml implementation of the K 2.0 array programming language
  ☆80Updated 8 years ago
• joelburget / pigment
  Programming Language meets UI
  ☆51Updated 6 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆249Updated 8 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 9 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• wyager / Neks
  A dead simple networked key/value store
  ☆115Updated 9 years ago
• stchang / macrotypes
  ☆133Updated 2 years ago
• Shen-Language / wiki
  ☆71Updated 9 years ago
• oyvindkinsey / jsContract
  jsContract is a framework for using code contracts in Javascript. The library is very easy to use and supports both pre- and postconditio…
  ☆39Updated 13 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆59Updated 5 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆177Updated 4 years ago
• nham / radicle
  an ur-lisp interpreter written in Rust
  ☆11Updated 8 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 3 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 9 years ago
• coding-robots / iwl
  Previous version of "I Write Like" written in Racket
  ☆58Updated 8 years ago
• lortabac / versioning
  Type-safe data versioning.
  ☆98Updated last year