JavaScript Engine for .NET
- netcore
- standard
- csharp
- csharp-library
Repository Index
47,133 repositories indexed
73–96 of 194 · Most stars
TranslatedTreat agents as functions, and write ideas as programs. Agent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.
A high-performance, thread-safe generic concurrent hash map implementation with Swiss Map.
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
- micropython-stubs
- micropython-stubber
- firmware-stubs
- python
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
A source code transpiler that enables the use of ES2015 Unicode regular expressions in ES5.
- regular-expression
- regexp
- regex
- code-generation
🛠 A full-featured dependency injection container for go programming language.
- go
- dependency-injection
- di
- ioc
Vulkan header generator, OOP-style API wrapper, framework and prospective Vulkan-based game engine for Object Pascal
- pascal
- vulkan
- vulkan-api
- vulkan-library
A simple, flexible, extensible, and liberal RSS and Atom reader for Ruby. It is designed to be backwards compatible with the standard RSS parser, but will never do RSS generation.
Template your base files and generate new projects from Git(Hub).
- generator
- scaffolding
- templates
- schema
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
A JNI code generator based on the JNI generator used by the eclipse SWT project
A Go port of the Java Streams API. Type-safe and functional Go Streams processing
- golang
- go
- stream-processing
- generics
Generate Erlang VM byte code from Haskell
- beam
- erlang
- elixir
- compiler
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
An OCaml generic virtual machine for microcontrollers
A programming language for generating code for multiple platforms
Generic eBPF runtime
PHP Iteration Tools Library
- php-library
- php
- iterator
- iterable
Javascript Generalized Parser Combinators
- functional-programming
- parsec
- parser-combinator
- monad
This project is a Blazor Interop C# Generator, has a sample against the BabylonJS library.
- blazor-interop
- typescript-parser
- blazor-wasm
- babylonjs
Automatic binding generator for native libraries in Crystal
ruby bindings for liblxc
- lxc
- ruby
- containers
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform