Repository Index

A concise and readable language for Firestore security rules, similar to Firebase Bolt.

• firebase-firestore
• haskell
• typescript
• parser-combinators

Thread-safe, persistent, immutable collections for the Crystal language

• crystal
• immutable-collections
• vector
• hash

A library for formalizing Haskell types and functions in Coq

Haskell bindings for Vulkan

Generate Erlang VM byte code from Haskell

• beam
• erlang
• elixir
• compiler

Java port of a concurrent trie hash map implementation from the Scala collections library

This project is a Blazor Interop C# Generator, has a sample against the BabylonJS library.

• blazor-interop
• typescript-parser
• blazor-wasm
• babylonjs

Haskell-flavoured functions for Go :smiley:

• hacktoberfest

Verified hash-based AMQ structures in Coq

• bloom-filter
• probability
• coq-formalization
• coq

😴 Functional programming with lazy immutable iterables

• iterables
• functional-programming
• iterator
• haskell

A refined core library for D programming language. The module has concurrency / collections / event / io / logging / text / serialization and more.

• event-driven
• asynchronous
• io
• concurrency

Convert Haskell source code to Coq source code.

• coq
• haskell

Idris LLVM codegen factored out

Experimental Malfunction backend for Idris

Library providing fast hash based immutable map and set

• hashmap
• fsharp
• collections
• hashset

A wrapper module for using spaCy natural language processing library from the Ruby programming language via PyCall

• nlp
• parsing
• ruby
• spacy

Write parsers for arbitrary text inputs, entirely in Java, with no preprocessing phase

Generate Elm types, encoders, and decoders from Haskell types

JavaLoader is a library that has been built to ease the use, development and integration of Java within ColdFusion applications.

Julia wrapper around nettle cryptographic hashing/encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as well as AES encryption/decryption

• cryptography
• nettle
• encryption
• hash-algorithms

Translates GDScript code to C#

• godot
• godot-engine
• tool
• gdscript

Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.

• c
• cicili
• compiler
• lisp

List manipulation library inspired by Haskell package Data.List

• list
• lisp
• haskell

Python bindings for hashcat