A revolutionary new dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification
Repository Index
57,138 visible repositories in the index
289–312 of 563 · Most stars
OM#: Visual Programming | Computer-assisted Music Compositon
Helper modules for OTP applications
- elixir
- otp-applications
- otp
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!
- coffeescript
- bash
- transpiler
Interfacing Qt/QML with OCaml. Formely known as lablqt
A common cross-platform GUI library, the core uses Lazarus LCL.
- go
- govcl
- gui
- liblcl
A Lean formalization of the Classification of Finite Simple Groups
Automatically exported from code.google.com/p/llvm-lua
Switch case syntax for Svelte ⚡️
Delphi wrapper for OpenSSL
- cryptography
- delphi
- openssl
- rsa
An OCaml generic virtual machine for microcontrollers
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
A shading language that can be compiled into GLSL ES 3.0
Java port of a concurrent trie hash map implementation from the Scala collections library
Rocket League Replay parser in Rust
- rust
- serde
- rocket-league
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
Go binding for the cairo graphics library
F# Cold Tasks and Cancellable Tasks
- fsharp
- dotnet
- async-await
- dotnet-core
:incoming_envelope: A fast Message/Event Hub using publish/subscribe pattern with support for topics like* rabbitMQ exchanges for Go applications
- topic
- pubsub
- go
- golang
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
This project is a Blazor Interop C# Generator, has a sample against the BabylonJS library.
- blazor-interop
- typescript-parser
- blazor-wasm
- babylonjs
Castor is a lightweight, typed Actor library for Scala and Scala.js
Post-build IL optimizer and intermediate representation for .NET programs
- compiler
- csharp
- dotnet
- hecktoberfest