:shrimp: Rust cryptography library
- rust
- cryptography
Repository Index
47,133 repositories indexed
385–408 of 513 · Most stars
CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.
Lisp dialect implemented with Crystal
Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.
- lisp
- sublime-text
- flex-completion
- repl
Simple Email Parser
A simple embeddable scripting language which supports concurrent event processing.
- interpreter
- language
- embeddable-scripting-language
- object-oriented-programming
Implementation of Finger Tree in JavaScript.
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
D bindings for nuklear
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
Compile-Time Parser Generator in D programming language.
Functional Programming for EcmaScript(Javascript)
- functional-programming
- fp
- js
- es
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Run promise-returning & async functions a specific number of times concurrently
Adobe AIR native extension for the Bullet physics simulation library
Simple implementation of the hungry-consumer model in Elixir
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Common Interface to ISO Prolog implementations from Common Lisp
Simple currying for FuncN and ActionN on RxJava [STABLE]
Clojure library for Blueprints (part of the Tinkerpop graph stack).
annoy-rb provides Ruby bindings for the Annoy (Approximate Nearest Neighbors Oh Yeah).
- ruby
- approximate-nearest-neighbor-search
- nearest-neighbor-search
- gem
Simple Web-MIDI Message Parser
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
GCode interpreter and simulator for node.js