gian

gian's Stars

• attic-labs/noms

  The versioned, forkable, syncable database

  Language:Go7.4k1981.4k266

• MLton/mlton

  The MLton repository

  Language:Standard ML94749178126

• anthonix/ffts

  The Fastest Fourier Transform in the South

  Language:C5355763212

• cashapp/misk

  Microservice Kontainer

  Language:Kotlin39734357169

• melsman/mlkit

  Standard ML Compiler and Toolkit

  Language:Standard ML274178330

• ermine-language/ermine

  The Ermine Programming Language - Join us on irc.freenode.net #ermine

  Language:Haskell216342117

• SMLFamily/Successor-ML

  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

  Language:TeX190554410

• Ravenbrook/mlworks

  MLWorks is a Standard ML compiler and development environment.

  Language:Standard ML179261019

• standardml/smackage

  Smackage Package Manager for Standard ML

  Language:Standard ML121122212

• standardml/cmlib

  A basic library of algorithms and data structures (a la NJlib)

  Language:Standard ML7314214

• bp74/StageXL_Samples

  Sample applications showing features of the StageXL library.

  Language:Dart6591029

• dart-league/ng_bootstrap

  A bootstrap 4 and angular 2 package for dartlang

  Language:CSS6056719

• Araq/Claro

  Revival of the excellent Claro GUI library

  Language:C3811010

• kni/sml-ev

  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)

  Language:Standard ML23402

• standardml/hackday

  SML hack day planning and coordination

  161600

• dellsystem/smlunit

  Unit testing for Standard ML of New Jersey (SML/NJ) lol

  Language:Standard ML15605

• tonyg/smlnj-networking

  Network server programming with SML/NJ and CML

  Language:Standard ML11302

• melsman/unicode

  Utf8 processing support for Standard ML

  Language:Standard ML10501

• fsieczkowski/smbt

  SMackage Build Tool

  Language:Standard ML8414

• kayceesrk/mlton-zmq

  Distributed MLton

  Language:Standard ML7391

• gian/ssml

  Sub-standard ML

  Language:Standard ML5201

• bigmc/bigmc2

  Rewrite of BigMC in Scala

  Language:Scala3201

• standardml/smlcgi

  A simple CGI library for SML

  Language:Standard ML31401

• alastair/e-conomy

  An internet economy

  Language:Python240

• fsieczkowski/esml

  Experiments with ML-like languages

  Language:Standard ML2300

• gian/smackweb

  Web front-end to the smackage package manager

  Language:Standard ML220

• standardml/bpltool

  Mirror of BPLtool SVN repository - a tool for manipulating binding bigraphs

  Language:Standard ML220

• gian/beamerOerestad

  Unofficial IT University of Copenhagen beamer style

  1314

• gian/gcbot

  120

• gian/irc

  A Standard ML IRC library

  Language:Standard ML1201