A formalization of geometry in Coq based on Tarski's axiom system
Repository Index
47,133 repositories indexed
49–72 of 88 · Most stars
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
Yaml parser for Elixir based on native Erlang implementation
A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.
- header-translation
- pascal-binding
- raylib
- lazarus
Portable channel-based concurrency for Common Lisp
A JNI code generator based on the JNI generator used by the eclipse SWT project
transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!
- coffeescript
- bash
- transpiler
👾 A Forth-based Game Boy development kit
A JavaScript based Gameboy Assembler
Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
Coroutine-based multithreading library for Delphi
- delphi
- greenlet
- coroutines
- golang
C# bindings for Sciter - create HTML/CSS/JS based native apps
- sciter
A Task-based LINQ designed to work with async/await
High level commands to declare a hierarchy based on packed classes
- mathcomp
- coq
- elpi
Regex based Python script that converts arbitrary gdscript code to C#
Electra is an esolang where you code like an electrician.
A handy calculator, based on Rust and WebAssembly.
- webassembly
- calculator
- math
- rust
Macro based compile-time SCSS transpilation, CSS minification, and class name uniquification toolchain inspired by CSS modules.
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
gpool - a generic context-aware resizable goroutines pool to bound concurrency based on semaphore.
- concurrency
- workerpool
- goroutine-pool
- resource-pool
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
- monads
- result-type
- typing
- python
Library providing fast hash based immutable map and set
- hashmap
- fsharp
- collections
- hashset
A wrapper/facade/whatever to enable/ease the use of jNetPcap (a libpcap based packet sniffing lib) in Clojure
CFFI based alternative to py4cl2