Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Repository Index
47,133 repositories indexed
25–42 of 42 · Most stars
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!
- coffeescript
- bash
- transpiler
A library that simplifies error handling for Functional Programming in Java
- java
- functional-programming
- exception-handling
- error-handling
Arrow-macros provides Clojure-like arrow macros in Common Lisp
The repository host gives no description.
An implementation of IO, Stream, Fiber for golang inspired by cats and fs2
Wrap existing D code for use in Python, Excel, C#
- python
- dlang
- excel
- data-science
The Penn Locally Nameless Metatheory Library
Tiny DSL for idiomatic date parsing and formatting in Ruby
- ruby
- dsl
- date
- syntax-sugar
:awesome = Elixir's Task ++ Basho's sidejob library
Golang source code parsing, usage like reflect package
- refactor
- metaprogramming
- go
- ast
Pure Go Shader Compiler — WGSL to SPIR-V, MSL, GLSL, HLSL, DXIL. Zero CGO.
dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.
- scala
- dfa
- regular-expression
- regular-expression-engine
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.
Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.
- algokit
- lib
- experimetal
Elixir wrapper of Basho's Bitcask Key/Value store.
The cell tail language