phlummox

phlummox's Stars

• gcc-mirror/gcc

  Language:C++9.6k36004.5k

• centrifugal/centrifugo

  Scalable real-time messaging server in a language-agnostic way. Self-hosted alternative to Pubnub, Pusher, Ably. Set up once and forever.

  Language:Go8.7k200481609

• racket/racket

  The Racket repository

  Language:Racket4.9k1452.2k672

• lexi-lambda/hackett

  WIP implementation of a Haskell-like Lisp in Racket

  Language:Racket1.2k676250

• Mercury-Language/mercury

  The Mercury logic programming system.

  Language:Mercury929377456

• gelisam/hawk

  Haskell text processor for the command-line

  Language:Haskell3651821020

• justinethier/husk-scheme

  A full implementation of the Scheme programming language for the Haskell Platform.

  Language:Haskell3091721528

• Carnap/Carnap

  A formal logic framework that runs in the browser

  Language:Haskell2812128028

• haskell-hint/hint

  Runtime Haskell interpreter

  Language:Haskell267710442

• stylewarning/deprecated-coalton-prototype

  Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.

  Language:Common Lisp20719187

• crowdagger/books

  Tries to provide PDF and EPUB versions of various (maybe) Rust books

  Language:Shell9916414

• brendanhay/ede

  Templating language with similar syntax and features to Liquid or Jinja2.

  Language:Haskell4782522

• Scorpil/docker-rust

  Language:Python454158

• kartik-sabharwal/intero-vim

  Port of intero-neovim for vim 8

  Language:Vim script9400

• Ptival/mock-haskell-projects

  A collection of mock Haskell project setups that ought to load properly

  8300

• j-mueller/ghci-websockets

  A websocket server in GHCi that survives reloads

  Language:Haskell6301

• owensmurray/ribbit

  Type-Level schema and query definitions for Haskell.

  Language:Haskell3501