Simple from zero to scale
Repository Index
47,133 repositories indexed
1–24 of 35 · Most stars
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
- java
- aot
- compiler
- graalvm
Android virtual machine and deobfuscator
- deobfuscation
- java
- optimization
- android
jank is the native Clojure dialect with seamless C++ interop.
Functional extensions for C#
- csharp
- entity
- functional-programming
- maybe-monad
The Eta Programming Language, a dialect of Haskell on the JVM
- eta
- jvm
- haskell
- functional-programming
Simple C compiler
- c-compiler
- compiler
- dos
- x86
A Coq library for Homotopy Type Theory
- type-theory
- homotopy-type-theory
- univalent-foundations
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
A fork of Cliff Click's High Scale Library. Improved with bug fixes and a real build system.
C++ regular expressions made easy
CSS parser with support of preprocessors
fp-go is a collection of Functional Programming helpers powered by Golang 1.18+ generics.
- golang
- go
- functional-programming
- currying
Runtime parser for string expressions (formulas, method calls). Builds dynamic LINQ expression tree and compiles it to lambda delegate.
- evalexpr
- evaluator
- dot-net
- dotnetcore
Pattern matchings for Go.
- golang
- go
- pattern-matching
- golang-library
Strip console, alert, and debugger statements from JavaScript code
- gulp-plugin
- nodejs
- javascript
- strip
Open source PTX to SASS assember (previously closed source by nvidia), more efficient SASS kernal for large scale Matrix Multiplication and Addition (MMA)
- compiler
- compiler-backend
- compiler-optimization
- gpu-acceleration
Swift µframework with extensions for the Optional Type
- swift
- functional-programming
- swift-extensions
A friendly and modern functional object oriented language for shell script.
- programming-language
- scripting-language
- command-line
- terminal
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.
Functional utility library for Apex
- apex
- functional-programming
- lodash
- ramda
Javascript SOQL parser
- soql
- salesforce