SpacialCircumstances

SpacialCircumstances's Stars

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.4k99190397

• zesterer/chumsky

  Write expressive, high-performance parsers with ease.

  Language:Rust3.6k24276149

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.3k61316161

• lapce/floem

  A native Rust UI library with fine-grained reactivity

  Language:Rust2.7k21147127

• nical/lyon

  2D graphics rendering on the GPU in rust using path tessellation.

  Language:Rust2.3k30300142

• aardappel/lobster

  The Lobster Programming Language

  Language:C++2.3k56158120

• flix/flix

  The Flix Programming Language

  Language:Scala2.2k243.5k151

• jfecher/ante

  A safe, easy systems language

  Language:Rust1.9k3113880

• ValeLang/Vale

  Compiler for the Vale programming language - http://vale.dev/

  Language:Scala1.8k3236553

• gfx-rs/wgpu-rs

  Rust bindings to wgpu native library

  Language:Rust1.7k65331186

• hylo-lang/hylo

  The Hylo programming language

  Language:Swift1.2k2544456

• austral/austral

  Systems language with linear types and capability-based security.

  Language:OCaml1.1k2929840

• brendanzab/codespan

  Beautiful diagnostic reporting for text-based programming languages.

  Language:Rust1.1k1310258

• kas-gui/kas

  Another GUI toolkit

  Language:Rust902209925

• inko-lang/inko

  A language for building concurrent software with confidence

  Language:Rust8801370938

• matijapretnar/eff

  A functional programming language based on algebraic effect handlers

  Language:OCaml859353941

• femtovg/femtovg

  Antialiased 2D vector drawing library written in Rust

  Language:Rust784125355

• Zaid-Ajaj/Feliz

  A fresh retake of the React API in Fable and a collection of high-quality components to build React applications in F#, optimized for happiness

  Language:F#5402131380

• c-cube/ocaml-containers

  A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

  Language:OCaml4851821883

• effekt-lang/effekt

  A language with lexical effect handlers and lightweight effect polymorphism

  Language:Scala3181026120

• verless/verless

  A Static Site Generator designed for Markdown-based content with a focus on simplicity and performance.

  Language:Go309512427

• mth/yeti

  Functional programming language for JVM.

  Language:Java246161016

• cognate-lang/cognate

  A human readable quasi-concatenative programming language

  Language:C2419912

• SecondHalfGames/yakui

  yakui is a declarative Rust UI library for games

  Language:Rust230310820

• solaris-games/solaris

  A HTML5 game of strategy, intrigue and galactic conquest.

  Language:TypeScript1831072965

• uazu/stakker

  A lightweight low-level single-threaded actor runtime

  Language:Rust1638219

• lord/anchors

  self adjusting computations in rust

  Language:Rust13011285

• pfstrack/eldamo

  An Elvish Data Model in XML

  Language:HTML529488

• vplesko/OrbLang

  Orb programming language

  Language:C++25205

• muldvarp/DiMo

  A Tool for Discrete Modelling Using Propositional Logic

  Language:OCaml51