sandkoan

sandkoan's Stars

• sandkoan/forth

  A Stack-oriented language written in Rust

  Language:Rust3

• jack-pappas/fsharp-logic-examples

  Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.

  Language:F#17516

• CapelliC/IL

  Intlog - a Prolog interpreter with OO extensions - implemented in C++

  Language:C++191

• zesterer/atto

  An insanely simple self-hosted functional programming language

  Language:Rust1526

• habit-lang/mil-tools

  Tools for MIL, a Monadic Intermediate Language

  Language:Java214

• FigBug/scheme

  Very limited scheme interpreter

  Language:Prolog6

• gluon-lang/gluon

  A static, type inferred and embeddable language written in Rust.

  Language:Rust3.2k147

• tallero/misc

  Little programs for practical purposes

  Language:Python42

• rust-lang/chalk

  An implementation and definition of the Rust trait system using a PROLOG-like logic solver

  Language:Rust1.9k182

• leksah/leksah

  Haskell IDE

  Language:Haskell976109

• rxi/lite

  A lightweight text editor written in Lua

  Language:Lua7.9k355

• anishathalye/git-remote-dropbox

  A transparent bridge between Git and Dropbox - use a Dropbox (shared) folder as a Git remote! 🎁

  Language:Python3.1k156

• anishathalye/periscope

  Periscope gives you "duplicate vision" to help you organize and de-duplicate your files without losing data 🔭

  Language:Go38814

• akinsho/dotfiles

  🏡 dotfiles

  Language:Lua2938

• microsoft/verona

  Research programming language for concurrent ownership

  Language:C++3.6k167

• jonhoo/left-right

  A lock-free, read-optimized, concurrency primitive.

  Language:Rust2k94

• engineer-man/piston

  A high performance general purpose code execution engine.

  Language:JavaScript2k263

• mit-pdos/noria

  Fast web applications through dynamic, partially-stateful dataflow

  Language:Rust5k242

• tokio-rs/tokio

  A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

  Language:Rust27.5k2.5k

• zulip/zulip

  Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

  Language:Python21.9k8.1k

• element-hq/element-web

  A glossy Matrix collaboration client for the web.

  Language:TypeScript11.3k2.1k

• weechat/weechat

  The extensible chat client.

  Language:C3k334

• microsoft/windows-rs

  Rust for Windows

  Language:Rust10.9k516

• le0pard/pgtune

  Pgtune - tuning PostgreSQL config by your hardware

  Language:JavaScript2.3k225

• guile-rs/guile-rs

  Safe Rust bindings for GNU Guile

  Language:Rust687

• hometown-fork/hometown

  A supported fork of Mastodon that provides local posting and a wider range of content types.

  Language:Ruby76157

• shua1090/pgp

  Pretty Good Privacy - A Java tribute to Phil Zimmerman's original encryption software

  Language:Java4

• AMythicDev/minus

  An asynchronous, runtime data feedable terminal paging library for Rust

  Language:Rust32522

• chemlib/site

  Official chemlib website.

  Language:HTML1

• dylanaraps/sowm

  An itsy bitsy floating window manager (220~ sloc!).

  Language:C92074