Idris LLVM codegen factored out
Repository Index
47,133 repositories indexed
649–672 of 980 · Most stars
`llthreads` library rewritten without `LuaNativeObjects` code generator
- lua
- threading
- pthreads
- lua-binding
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
High level go to Lua binder. Write less, do more.
- go
- golang
- lua
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.
Crystal bindings to Dear ImGui
WebAssembly wrapper to simplify fast math coding
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
Cojen/Maker is a lightweight, full-featured, low-level dynamic Java class generator designed for ease of use.
- java-bytecode
- invokedynamic
- java
- jvm-bytecode
Gowl is a process management and process monitoring tool at once. An infinite worker pool gives you the ability to control the pool and processes and monitor their status.
- golang
- go
- pooling
- pool
Reduce a list of values using promises into a promise for a value
Limits the number of goroutines that are allowed to run concurrently
- concurrency
- golang
- goroutine
TxQuery component is a TDataSet descendant component that can be used to query one or more TDataSet descendant components using SQL statements. It is implemented in Delphi 100% source code, no DLL required, because it implements its own SQL syntax parser and SQL engine.
A crystal port of the Ruby Language Toolkit
A MIPS to Java bytecode binary translator
A Javascript to PICO-8 Lua transpiler
- javascript
- pico-8
- lua
- transpiler
Yet another routes handling utility on top of Hunchentoot
Raylib binds to elixir for programming games
- raylib
- elixir
- bindings
- audio
Crystal to Lua bridge
- crystal
- lua
- bindings
A PEG parser/transformer with a pleasant Elixir DSL.
A codemod-cli project for converting Ember objects to es6 native classes
- codemod
- ember
A wrapper/facade/whatever to enable/ease the use of jNetPcap (a libpcap based packet sniffing lib) in Clojure
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.