cotrone

cotrone's Stars

• ARMmbed/mbed-os

  Arm Mbed OS is a platform operating system designed for the internet of things

  Language:C4.7k3154.5k3k

• jameysharp/corrode

  C to Rust translator

  Language:Haskell2.2k68124116

• joelburget/d4

  Data-Driven Declarative Documents

  Language:JavaScript81929420

• pushcx/hpffp-resources

  Haskell Programming From First Principles - Follow-up Resources

  Language:Haskell48830179

• jyp/dante

  Language:Emacs Lisp3921612352

• jtdaugherty/vty

  A high-level ncurses alternative written in Haskell

  Language:Haskell316915157

• cmeiklejohn/PMLDC

  Programming Models and Languages for Distributed Computation

  Language:HTML2403504

• pearkes/gethub

  A utility for cloning and fetching your remote git repositories from GitHub.

  Language:Go2183025281

• TimBeyer/html-to-vdom

  Converts an HTML string into a virtual DOM

  Language:JavaScript17271239

• au-ts/cogent

  Cogent Project

  Language:Isabelle1612127826

• sweirich/tal

  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

  Language:Haskell14511113

• AtnNn/rethinkdb-stream

  Proof of concept for streaming binary data using RethinkDB changes

  Language:Python139437

• hopper-lang/hopper-v0

  a sound modern language for computation and transactional resource logic

  Language:Haskell1011568

• dotdash32/Cases

  Bunch of CAD files of designs of Dotdash32 on Reddit and Geekhack

  Language:HTML9812416

• nomeata/veggies

  Hopefully verifiable code generation in GHC

  Language:Haskell941006

• ghcjs/ghcjs-dom

  Make Document Object Model (DOM) apps that run in any browser and natively using WebKitGtk

  Language:Haskell75247940

• HeinrichApfelmus/vault

  A typed, persistent store for values of arbitrary types

  Language:C6071520

• gfacciol/zotero_dataserver-docker

  Docker image for Zotero Data Server

  Language:Perl509713

• beijaflor-io/ghcjs-commonjs

  Seamless calls of Haskell code from JavaScript modules

  Language:Haskell40614

• jtobin/deanie

  An embedded probabilistic programming language.

  Language:Haskell34627

• bringhurst/tlaplus

  Language:Java27405

• iand675/ghcjs-react

  React.js for GHCJS

  Language:Haskell27274

• tel/hs-zabt

  Simple-minded abstract binding trees (Haskell)

  Language:Haskell103

• abailly/multi-host-docker

  Code for setting up multi-host docker with private networking

  Language:Haskell8401

• chrisdone-archive/emacs-magit-config

  Handy pre-made Emacs config for using magit

  Language:Emacs Lisp631

• EButlerIV/u2f

  Language:Haskell3512

• clash-lang/clash-lang.github.io

  The CLaSH website

  Language:CSS21264

• cotrone/BotballOpenCode

  Open Source Code for the Botball Robotics Competition

  Language:C1200

• plow-technologies/tach

  Tach is a set of time series related functions and structures

  Language:Haskell11