dnm

dnm's Stars

• edwardcrichton/BToolkit

  The BToolkit, a toolkit supporting software development with the B-method.

  Language:C349

• GunterMueller/Modula-2_Libraries

  Collection of Modula-2 Libraries

  Language:Modula-2151

• Componolit/libsparkcrypto

  A cryptographic library in SPARK 2014

  Language:Ada273

• sourcegraph/sourcegraph-public-snapshot

  Code AI platform with Code Search & Cody

  Language:Go10.1k1.3k

• LibrePCB/LibrePCB

  A powerful, innovative and intuitive EDA suite for everyone!

  Language:C++2.4k298

• rochus-keller/CrossLine

  CrossLine is an outliner with sophisticated cross-link capabilities in the tradition of the well-respected Ecco Pro

  Language:C++1556

• Unidata/ttm

  Provide a reference implementation for the TTM programming language.

  Language:C92

• endoli/message-format.rs

  A MessageFormat implementation for Rust.

  Language:Rust127

• endoli/commands.rs

  A command system for Rust.

  Language:Rust182

• emina/rosette

  The Rosette solver-aided host language, sample solver-aided DSLs, and demos

  Language:Racket64074

• pmarkowsky/msp430-emu

  A basic MSP430 instruction level emulator written for use with http;//microcorruption.com

  Language:Python1

• seL4/seL4

  The seL4 microkernel

  Language:C4.7k672

• seL4/l4v

  seL4 specification and proofs

  Language:Isabelle512107

• ProjectVault/orp

  Language:C41847

• rvirding/luerl

  Lua in Erlang

  Language:Erlang1k142

• dnm/dpg

  Dylan Programming Guide, a book about Dylan.

  Language:Python1

• dylan-lang/dylan-programming-book

  Dylan Programming Guide - a book about Dylan

  Language:Python76

• silentbicycle/lua-bdd

  Binary decision diagram library (Lua)

  Language:Lua172

• ryan-allen/lispy

  Code-as-data in Ruby, without the metaprogramming madness.

  Language:Ruby1223

• johnewart/ruby-metrics

  Metrics for ruby - a Ruby implementation of metrics inspired by @coda's JVM metrics for those of us in Ruby land

  Language:Ruby36533

• slfritchie/msgdropsim

  Simulator for message passing protocols, supporting (really) unfair process scheduling and dropped messages

  Language:Erlang522

• boundary/folsom

  Expose Erlang Events and Metrics

  Language:Erlang585166

• ninenines/cowboy

  Small, fast, modern HTTP server for Erlang/OTP.

  Language:Erlang7.3k1.2k

• JohnEarnest/Four.Ps

  A minimal Forth VM and Compiler implemented in PostScript

  245

• andralex/phobos

  Runtime library for the D programming language

  Language:D263

• dylan-hackers/network-night-vision

  IP stack written in Dylan - includes binary parsing and interactive GUI

  Language:Dylan252

• Lucretia/tamp

  The Ada Microkernel Project

  Language:Ada11416

• dlang/phobos

  The standard library of the D programming language

  Language:D1.2k699

• dlang/dmd

  dmd D Programming Language compiler

  Language:D3k607

• fsharp/fsharp

  Please file issues or pull requests here: https://github.com/dotnet/fsharp

  Language:F#2.2k318