ret

ret's Stars

• bigskysoftware/_hyperscript

  a small scripting language for the web

  Language:JavaScript2.9k32269140

• hedyorg/hedy

  Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the Hedy level sequence, kids master a subset of syntactically valid Python.

  Language:CSS1.2k242.2k282

• fubark/cyber

  Fast and concurrent scripting.

  Language:Zig1.1k217436

• sicmutils/sicmutils

  Computer Algebra, Physics and Differential Geometry in Clojure.

  Language:Clojure767308368

• dwyl/learn-phoenix-framework

  :fire: Phoenix is the web framework without compromise on speed, reliability or maintainability! Don't settle for less. :rocket:

  Language:Elixir6463211945

• inhabitedtype/angstrom

  Parser combinators built for speed and memory efficiency

  Language:OCaml621255673

• saleyn/erlexec

  Execute and control OS processes from Erlang/OTP

  Language:C++51925110139

• WhatsApp/eqwalizer

  A type-checker for Erlang

  Language:Scala500283326

• mhuebert/maria

  A ClojureScript coding environment for beginners.

  Language:Clojure4642623134

• Gabriella439/grace

  A ready-to-fork interpreted functional language with type inference

  Language:JavaScript378122330

• fubark/cosmic

  A platform for computing and creating applications.

  Language:Zig32852515

• tonsky/uberdeps

  Uberjar builder for deps.edn

  Language:Clojure30072723

• i-am-tom/holmes

  A reference library for constraint-solving with propagators and CDCL.

  Language:Haskell29813712

• augustss/MicroHs

  Haskell implemented with combinators

  Language:Haskell26391916

• dwyl/elixir-auth-google

  👤Minimalist Google OAuth Authentication for Elixir Apps. Tested, Documented & Maintained. Setup in 5 mins. 🚀

  Language:Elixir239104339

• Bogdanp/koyo

  A web development toolkit for Racket.

  Language:Racket129111811

• mmzeeman/esqlite

  Erlang NIF for sqlite

  Language:C12582876

• RogerTwank/Eagle

  Scripts and other files relevant to simulating the Apollo 11 Lunar Module orbit

  1071014

• HarvardPL/shill

  Scripting with Least Privilege

  Language:C106832

• jackfirth/rebellion

  A collection of core libraries for Racket

  Language:Racket80619115

• bitc/hs-term-emulator

  Terminal Emulator written in 100% Haskell

  Language:Haskell66312

• NyanCAD/Mosaic

  A modern schematic entry and simulation program

  Language:Clojure664995

• Gabriella439/HasCal

  Haskell embedding of PlusCal

  Language:Haskell59766

• intergalaktik/ulx4m

  PCB for ULX4M FPGA R&D board

  Language:ANTLR4710486

• jackfirth/resyntax

  A Racket refactoring engine

  Language:Racket47513110

• Bogdanp/racket-wasm

  Wasm tooling in Racket.

  Language:Racket39542

• lfe/rebar3

  A comprehensive LFE rebar3 plugin for all your LFE tooling needs

  Language:Erlang3787112

• ret/specifica

  Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)

  Language:Haskell24472

• mmzeeman/educkdb

  DuckDB NIF for Erlang

  Language:C++15221

• aws-samples/aws-batch-comp-infrastructure-sample

  Language:Python96412