SquirrelJME is a Java ME 8 Virtual Machine for embedded and Internet of Things devices. It has the ultimate goal of being 99.9% compatible with the Java ME standard.
- squirreljme
- java
- java-me
- iot
Repository Index
47,133 repositories indexed
97–120 of 295 · Most stars
:baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS
- programming-language
- language
- programming-paradigms
- repl
Common combinators for Elixir
- pointfree
- curried-functions
- elixir
- functional-languages
sql-to-mongo-db-query-converter
An OTP Process Pool Application
A lightweight library for writing concurrent programs in Go using the Actor model.
- actor
- go-actor
- concurrency
- concurrent-programming
Runtime parser for string expressions (formulas, method calls). Builds dynamic LINQ expression tree and compiles it to lambda delegate.
- evalexpr
- evaluator
- dot-net
- dotnetcore
Let's make a SQL parser so we can provide a familiar interface to non-sql datastores!
A library of queues that enable sending ordered tasks to asynchronous contexts
Go simple async message bus
- message-bus
- event-sourcing
- ddd
- async
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
QUIC protocol for Erlang & Elixir
A Library for Representing Recursive and Impure Programs in Coq
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
ReScript bindings for Formidable's Universal React Query Library, urql.
- reasonml
- graphql
- reasonreact
- bucklescript
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
A Java DSL (Builder) for the Cypher Query Language
C language library for creating bindings for the Qt QML language
- qml-bindings
- qt-qml-language
- qml
- qt
A lexer and parser for GraphQL in .NET
Useful cmake macros that help with: compiler/linker flags, collecting sources, PCHs, Unity builds and other stuff.
- linker-flags
- cmake
- compiler-flags
- unity-build
A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.
A formalization of geometry in Coq based on Tarski's axiom system