kyepskee

kyepskee's Stars

• andrejbauer/clerical

  Command-like expressions for real infinite-precision calculations

  Language:OCaml412

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.4k167

• octaltree/playwright-rust

  Playwright port to Rust

  Language:Rust33638

• nadia-polikarpova/cse291-program-synthesis

  Program Synthesis Course

  24739

• roc-lang/roc

  A fast, friendly, functional language.

  Language:Rust4.6k320

• magit/magit

  It's Magit! A Git Porcelain inside Emacs.

  Language:Emacs Lisp6.6k822

• kyepskee/relsim

  General Relativity Simulator

  Language:Rust3

• zedeus/nitter

  Alternative Twitter front-end

  Language:Nim10.2k542

• melange-re/melange

  A mixture of tooling combined to produce JavaScript from OCaml & Reason

  Language:OCaml86552

• melange-re/melange-compiler-libs

  Language:OCaml248

• nasa/fprime

  F´ - A flight software and embedded systems framework

  Language:C++10.1k1.3k

• kcloudy0717/Kaguya

  D3D12 Rendering Engine

  Language:C++39115

• janestreet/core_kernel

  Jane Street's standard library overlay (kernel)

  Language:OCaml21763

• tizoc/ocaml-interop

  OCaml<->Rust FFI with an emphasis on safety.

  Language:Rust13723

• RedSkittleFox/Game-Engine-Programming-Resources

  Collection of resources about game engine programming and computer 3D graphics.

  592

• axellang/axel

  Haskell + Lisp

  Language:Haskell2069

• clojure/core.contracts

  Contracts programming

  Language:Clojure12815

• discljord/discljord

  A Clojure wrapper library for the Discord API, with full API coverage (except voice, for now), and high scalability

  Language:Clojure22427

• urbit/urbit

  An operating function

  Language:hoon3.4k359

• carp-lang/Carp

  A statically typed lisp, without a GC, for real-time applications.

  Language:Haskell5.6k174

• unisonweb/unison

  A friendly programming language from the future

  Language:Haskell5.9k273

• doomemacs/doomemacs

  An Emacs framework for the stubborn martian hacker

  Language:Emacs Lisp19.8k3.1k

• clj-commons/etaoin

  Pure Clojure Webdriver protocol implementation

  Language:Clojure92496

• wilbowma/cur

  A less devious proof assistant

  Language:Racket22218

• andrejbauer/marshall

  Real number computation software

  Language:OCaml12214

• bitcoinbook/bitcoinbook

  Mastering Bitcoin 3rd Edition - Programming the Open Blockchain

  Language:HTML23.8k6k

• BlockchainCommons/Learning-Bitcoin-from-the-Command-Line

  A complete course for learning Bitcoin programming and usage from the command

  Language:Jupyter Notebook3.2k766

• ddclient/ddclient

  Ddclient updates dynamic DNS entries for accounts on a wide range of dynamic DNS services.

  Language:Perl2.6k344

• steinbergmedia/vst3sdk

  VST 3 Plug-In SDK

  Language:CMake1.7k166

• rtfeldman/elm-spa-example

  A Single Page Application written in Elm

  Language:Elm3.3k531