ebresafegaga

ebresafegaga's Stars

• red/red

  Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!

  Language:Red5.6k2044k414

• binpash/try

  Inspect a command's effects before modifying your live system

  Language:Shell5.2k69272

• luau-lang/luau

  A fast, small, safe, gradually typed embeddable scripting language derived from Lua

  Language:C++4.2k75635391

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k63286231

• titzer/virgil

  A fast and lightweight native programming language

  Language:Shell1.2k218852

• CakeML/cakeml

  CakeML: A Verified Implementation of ML

  Language:Standard ML9864450186

• imteekay/programming-language-research

  ✨ Programming Language Research, Applied PLT & Compilers

  Language:Clojure90020054

• janestreet/hardcaml

  Hardcaml is an OCaml library for designing hardware.

  Language:OCaml683341041

• hkust-taco/mlscript

  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

  Language:Scala17757128

• AndrasKovacs/staged

  Staged compilation with dependent types

  Language:TeX1641333

• LPTK/simple-sub

  Alternative algorithm for algebraic subtyping.

  Language:Scala153739

• tweag/opam-nix

  Turn opam-based OCaml projects into Nix derivations

  Language:Nix113186133

• nix-ocaml/nix-overlays

  OCaml-focused, custom nix-overlays

  Language:Nix10822029

• lampepfl/monadic-reflection

  Language:Scala1071537

• WasmCert/WasmCert-Coq

  A mechanisation of Wasm in Coq

  Language:Coq101122812

• Ekdohibs/joujou

  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.

  Language:OCaml871034

• slindley/effect-handlers

  Language:Haskell801909

• modular-macros/ocaml-macros

  OCaml with macros

  Language:OCaml5612183

• rizo/onix

  Build OCaml projects with Nix.

  Language:OCaml544181

• DSLsofMath/FPClimate

  PhD course on Functional Programming and Climate Impact Research

  Language:Agda49903

• pa-ba/calc-comp

  Coq proofs for the paper "Calculating Correct Compilers"

  Language:Coq30312

• namin/dafny-sandbox

  Dafny for Metatheory of Programming Languages

  Language:Dafny22403

• TyOverby/sdui

  A frontend for the 1111 stable diffusion API

  Language:OCaml17501

• xnning/Consistent-Subtyping-for-All

  Haskell implementation and Coq proof for an implicit polymorphic gradual type system.

  Language:Coq16101

• effect-handlers/wasm-spec

  WebAssembly specification, reference interpreter, and test suite.

  Language:WebAssembly13662

• michaelpj/abstract-machine-debuggers

  Language:Haskell12501

• pa-ba/McCarthy-Painter

  Coq proof for the paper "Compiling a Fifty Year Journey"

  Language:Coq12201

• pitag-ha/slack_bot

  Language:OCaml9102

• palladin/Delimcc

  A Monadic library for for multi-prompt delimited control in F#

  Language:F#6100

• DKXXXL/FPOP

  Family Polymorphism for a proof assistant, an artifact. Paper : https://dl.acm.org/doi/10.1145/3591286

  Language:Coq5202