Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
Repository Index
47,133 repositories indexed
289–312 of 538 · Most stars
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
Like `Promise.all()` but for `Map` and `Object`
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
Secure firmware framework focusing on developer experience
A lightweight lexical string parser for BBCode styled markup.
- decoda
- bbcode
- bbcode-parser
- hooks
state machine which runs code
- golang
- workflows
- state-machine
- actor-model
Jitescript - Java API for Bytecode
Railway-oriented programming for .NET
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
More up-to-date version of cl-charms. Forked it because it was, apparently, abandoned by author and I couldn't contact him.
Free monad Collection
A friendly and modern functional object oriented language for shell script.
- programming-language
- scripting-language
- command-line
- terminal
A JNI code generator based on the JNI generator used by the eclipse SWT project
Generate Erlang VM byte code from Haskell
- beam
- erlang
- elixir
- compiler
R package for converting objects to and from YAML
- r
- yaml
- cran
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
Direct3D9 wrapper for Go.
Modern CSS to all browsers
- css
- processor
- preprocessor
- compatibility
A realtime visual programming language for interactive media.
Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
- taproot
- secp256k1
- swift
- schnorr
The asynchronous version of Elixir's "with", resolving the dependency graph and executing the clauses in the most performant way possible!
- elixir
- async
Import Go libraries in your Haxe projects Go -> Haxe source-to-source compiler
- haxe
- golang
- go
- compiler
Java port of a concurrent trie hash map implementation from the Scala collections library