JavaScript Engine for .NET
- netcore
- standard
- csharp
- csharp-library
Repository Index
47,133 repositories indexed
313–336 of 654 · Most stars
A Library for Representing Recursive and Impure Programs in Coq
A high-performance, thread-safe generic concurrent hash map implementation with Swiss Map.
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)
High performance System.Threading.(Value)Task computation expressions for F#
A simple, easy to use library for React development in ClojureScript.
- react-components
- hiccup
- clj
- clojurescript
A collection of sweet.js macros that implement ES6 features for ES5
(c-include "file.h") => complete FFI wrapper
F# computation expression builder for System.Threading.Tasks
- fsharp
- task
- computation-expressions
- async
Complete ECMAScript Fifth Edition Implemention in Object Pascal
A durable atom type for Clojure
Lisp to GLSL Language Translator
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
The reference implementation of orderly: a schema language for JSON.
A functional JavaScript library that facilitates currying and point-free programming
- ai-friendly
- composition
- curry
- currying
Simply way to control goroutines execution order based on dependencies
- goflow
- golang
- goroutine
- concurency
CleanAspire is a cloud-native template built on Aspire, using .NET 10 Minimal APIs and Blazor WebAssembly to deliver lightweight, scalable PWAs with offline support.
- blazor-webassembly
- clean-architecture
- aspire
- blazor-wasm
Composable kmett style lenses
interactive programming of melodies, producing MIDI
Useful cmake macros that help with: compiler/linker flags, collecting sources, PCHs, Unity builds and other stuff.
- linker-flags
- cmake
- compiler-flags
- unity-build