Build simplified C#, dotnet execute with custom entry point, another dotnet run without a project file
- csharp
- dotnet
- csharp-script
- dotnet-exec
Repository Index
47,133 repositories indexed
361–384 of 538 · Most stars
Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications
- elm
- json-schema
- json
- elixir
The Rockstar programming language specification
TensorFlow.Delphi (TF.Delphi) provides a Delphi(Pascal) Standard binding for TensorFlow. It aims to implement the complete Tensorflow API in Delphi which allows Pascal developers to develop, train and deploy Machine Learning models with the Pascal Delphi
- deep-learning
- delphi
- machine-learning
- pascal
An UnderscoreJS port for Coldfusion. Functional programming library.
- coldfusion
High-performance Swift framework for task execution, memory caching, and data management with intelligent execution merging, TTL caching, and retry logic
A TypeScript/JavaScript wrapper for the Steamworks SDK using Koffi FFI, designed for Node.js and Electron applications with Steamworks SDK integration.
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.
- supercollider
- lisp
- synth
- sequencer
Java wrapper for SDL and LibGDX controller API
Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutation and subscriptions in Kotlin with syntax similar to native GraphQL syntax.
- kotlin
- graphql
- client
- code-generation
FANN (Fast Artifical Neural Network) binding in Crystal
- fann
- neural-network
- machine-learning
- crystal
Fully auto-generated Common Lisp bindings to Raylib (6.0/5.5) and Raygui (4.0) using claw and cffi-object
Clojure collection and sequence APIs in Common Lisp, with optional Clojure collection syntax
Generate a ready-to-use Common Lisp project
- common-lisp
- cookiecutter
- lisp
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy
Selenium WebDriver Bindings for Objective-C
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
`llthreads` library rewritten without `LuaNativeObjects` code generator
- lua
- threading
- pthreads
- lua-binding
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
WebAssembly wrapper to simplify fast math coding
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform