Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Repository Index
47,133 repositories indexed
73–96 of 148 · Most stars
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.
Elegance, high performance and robustness all in one java bean mapper
- annotations
- xml
- java
- jmapper
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
- firebase-firestore
- haskell
- typescript
- parser-combinators
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
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
CSP-style concurrency for Python
- python
- asyncio
- csp
- concurrency
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
More up-to-date version of cl-charms. Forked it because it was, apparently, abandoned by author and I couldn't contact him.
An extended core library for F#.
- fsharp
- performance
- csharp
- immutable
Fast resizable golang semaphore primitive
- semaphore
- go
- golang
- semaphore-pattern
Ada semantic analysis library.
A fast regular expression compiler in Common Lisp
A common cross-platform GUI library, the core uses Lazarus LCL.
- go
- govcl
- gui
- liblcl
Get inside your JVM
- jvm
- java
- monitoring
- repl
Common Lisp .Net Core Interop
- common-lisp
- dotnet-core
- dotnet
- dotnetcore
Human-readable schedule expressions for .NET (C#): write "every day at 9am except sunday" instead of cron. Time zones, fluent builder, custom keywords, cron converter.
- cron
- csharp
- date-time
- dotnet
F# Cold Tasks and Cancellable Tasks
- fsharp
- dotnet
- async-await
- dotnet-core
Delphi and Free Pascal bindings and classes for Microsoft's ChakraCore library
- chakracore
- microsoft
- javascript-engine
- delphi
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.
- midi
- music-programming
- karaoke
- karaoke-player
A fast, purely functional data structure library in Common Lisp.
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
🌟 Useful functional programming helpers for Go
- golang
- go
- functional-programming
- library