JBetz

JBetz's Stars

• halfaya/MusicTools

  Language:Agda404

• pjagielski/disclojure-ui

  A browser-based DAW for Leipzig and Overtone. Built with re-frame, component and sente for websockets.

  Language:Clojure371

• dolphinsmalltalk/Dolphin

  Dolphin Smalltalk Core Image

  Language:Smalltalk30458

• gnu-smalltalk/smalltalk

  GNU Smalltalk

  Language:Smalltalk15826

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k380

• edwinb/Idris2-boot

  A dependently typed programming language, a successor to Idris

  Language:Idris90257

• google/incremental-dom

  An in-place DOM diffing library

  Language:TypeScript3.5k180

• floe/backscrub

  Virtual Video Device for Background Replacement with Deep Semantic Segmentation

  Language:C++73885

• markokoleznik/agda-writer

  A simple GUI for Agda

  Language:Objective-C312

• stephanadelsb/PPDP18

  Code from the paper / Declarative GUIs: Simple, Consistent, and Verified

  Language:HTML4

• Web-Prolog/swi-web-prolog

  A proof-of-concept SWI-Prolog implementation of Web Prolog

  Language:HTML18610

• stedolan/mlsub

  Prototype type inference engine

  Language:OCaml19719

• dbetz/advsys

  AdvSys - A Language for Writing Text Adventure Games

  Language:C285

• AdamSpitz/klein

  A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.

  Language:Self438

• nomyx/Nomyx

  The Nomyx game

  Language:Dockerfile839

• fare/tunes

  6

• lexi-lambda/hackett

  WIP implementation of a Haskell-like Lisp in Racket

  Language:Racket1.2k50

• CoNarrative/precept

  A declarative programming framework

  Language:Clojure65733

• haskell/haskell-ide-engine

  The engine for haskell ide-integration. Not an IDE

  Language:Haskell2.4k209

• obsidiansystems/obelisk

  Functional reactive web and mobile applications, with batteries included.

  Language:Haskell963107

• zrho/purescript-optic-ui

  PureScript UI framework based on lenses.

  Language:PureScript12210

• reflex-frp/reflex

  Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.

  Language:Haskell1.1k149