A library of mechanised undecidability proofs in the Coq proof assistant.
Repository Index
47,133 repositories indexed
1,321–1,344 of 2,401 · Most stars
Haskell-flavoured functions for Go :smiley:
- hacktoberfest
Embedded and Extensible Scripting Language in Clojure
- lua
- eden
- clojure
- clojurescript
Elixir implementation of an interpreter for the Monkey programming language
- elixir
- monkey
- interpreter
Python LESS compiler
A simple scheduler for OCaml 5
- effects
- ocaml
- parallelism
- scheduler
A library that simplifies error handling for Functional Programming in Java
- java
- functional-programming
- exception-handling
- error-handling
Fable Reaction - Reactive (AsyncRx) for F# Elmish and Fable
- reactive
- elmish
- fable
- fsharp
The single instruction language - Flip a bit, then Jump
- esoteric-programming-language
- programming-language
- oisc
- esolang
Tokenizer (lexer) for anything
- golang
- tokenizer
- parse
- tokenizing
Arrow-macros provides Clojure-like arrow macros in Common Lisp
Evaluate JavaScript from Crystal!
- crystal
- javascript
- duktape
- hacktoberfest
The repository host gives no description.
0MQ Delphi binding
User agent parser library
Simple ClojureScript interface to React
PAthological QUpath Obsession - QuPath and Python conversations
- digital-pathology
- qupath
- python
VerySimple.Lua - Lua 5.3 for Delphi
A safe way to execute functions asynchronously, recovering them in case of panic. It also provides an error stack aiming to facilitate fail causes discovery.
- go
- async
- hacktoberfest
XPath/XQuery 3.1 interpreter for Pascal with compatibility modes for XPath 2.0/XQuery 1.0/3.0, custom and JSONiq extensions, pattern matching, XML/HTML/JSON parsers and classes for HTTP/S requests
- xpath
- xquery
- pascal
- html
SOAP client for Elixir programming language
- soap
- elixir
Portable C Compiler sources
ruby bindings for liblxc
- lxc
- ruby
- containers
Git super project for PySide
- python
- qt
- pyside
- qtforpython