JBetz

JBetz's Stars

• TheSpydog/SDL_gpu_examples

  Example collection for the SDL_GPU API

  Language:C++11612

• polarity-lang/polarity

  A Language with Dependent Data and Codata Types

  Language:Rust572

• agda/ooAgda

  Interactive and object-oriented programming in Agda using coinductive types

  Language:Agda222

• horde3d/Horde3D

  Horde3D is a small 3D rendering and animation engine. It is written in an effort to create an engine being as lightweight and conceptually clean as possible.

  Language:C++1.5k308

• JBetz/Dolphin-SDL

  Dolphin Smalltalk language bindings to the Simple DirectMedia Layer (SDL) library

  Language:Smalltalk3

• supercollider/supercollider

  An audio server, programming language, and IDE for sound synthesis and algorithmic composition.

  Language:C++5.5k754

• mighty-gerbils/gerbil

  Gerbil Scheme

  Language:Scheme1.2k112

• eliemichel/LearnWebGPU-Code

  The accompanying code of the Learn WebGPU C++ programming guide

  11730

• sebastianconcept/Mapless

  Schema-less persistence for Smalltalk with support for multiple backends.

  Language:Smalltalk3511

• mmozeiko/build-sdl3

  Automatic build of SDL3 libraries for Windows

  Language:Batchfile456

• JBetz/Dolphin-CEF

  Dolphin Smalltalk language bindings to the Chromium Embedded Framework (CEF)

  Language:Smalltalk5

• OpenSmalltalk/opensmalltalk-vm

  Cross-platform virtual machine for Squeak, Pharo, Cuis, and Newspeak.

  Language:C565111

• amaurel/dolphin-chrome-embedded

  Dolphin CEF integration

  Language:JavaScript21

• nucleic/kiwi

  Efficient C++ implementation of the Cassowary constraint solving algorithm

  Language:C++69389

• libsdl-org/SDL_shader_tools

  Shader compiler and tools for SDLSL (Simple Directmedia Layer Shader Language)

  Language:C1503

• libsdl-org/SDL

  Simple Directmedia Layer

  Language:C10.2k1.9k

• raysan5/raylib

  A simple and easy-to-use library to enjoy videogames programming

  Language:C23k2.3k

• ahdinosaur/intertwingled

  A collection of videos to showcase the magic alchemy of computation.

  Language:JavaScript130

• MeadowlarkDAW/Dropseed

  A modular DAW (Digital Audio Workstation) engine written in Rust

  632

• cannerycoders/fluidsynth.clap

  A clap-plugin bridge to fluidsynth.

  Language:C132

• JBetz/ensemble

  A high level audio engine for building DAWs

  Language:Haskell6

• Impro-Visor/Impro-Visor

  The Impro-Visor program source

  Language:Java13424

• ghc/ghc

  Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

  Language:Haskell3.1k709

• mankyKitty/idris-webgl

  Experimentation with Idris and WebGL via JavaScript FFI

  Language:JavaScript102

• ku-fpg/blank-canvas

  A Haskell API into HTML5 Canvas

  Language:Haskell7114

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k359

• pkamenarsky/refract-replica

  Refract backend for Replica

  Language:Haskell31

• hasura/eff

  🚧 a work in progress effect system for Haskell 🚧

  Language:Haskell55318

• obsidiansystems/nix-thunk

  seamless management of source dependencies with nix

  Language:Haskell3810

• banacorn/agda-mode-vscode

  agda-mode on VS Code

  Language:ReScript17040