A Verified Compiler for Gallina, Written in Gallina
Repository Index
47,133 repositories indexed
1,201–1,224 of 2,441 · Most stars
Railway-oriented programming for .NET
Modern cryptography (libsodium/NaCl) for Clojure
golang wrapper for github.com/OSGEO/gdal
SDL2 module for Deno
:ram: :mag_right: Lens library built on ramda
CSP-style concurrency for Python
- python
- asyncio
- csp
- concurrency
Go Lang Web Assembly bindings for DOM, HTML etc
- wasm
- binding
- golang
GoJava - Java bindings for Go packages
Typed Regular Expressions
- regex
- types
- gadt
- ocaml
Crystal-lang bindings for libui
- crystal
- gui
Yaml parser for Elixir based on native Erlang implementation
Easy OCaml bindings for Javascript libraries
A simple cross platform .NET API for Intel MKL
- mkl
- cross-platform
- matrix
- linear-algebra
First-class patterns for Clojure. Made with love, functions, and just the right amount of syntax.
- clojure
- pattern-matching
- functional-programming
Optics for F#
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.
Portable channel-based concurrency for Common Lisp
Swift µframework with extensions for the Optional Type
- swift
- functional-programming
- swift-extensions
An extended core library for F#.
- fsharp
- performance
- csharp
- immutable
A Lens Library for Javascript
Embedded mruby/Ruby for Crystal
- crystal
- mruby
- scripting
- ruby
Fast resizable golang semaphore primitive
- semaphore
- go
- golang
- semaphore-pattern