Andor Penzes's starred repositories
Idris2-Ocaml
OCaml backend for Idris2
MagpieBridge
MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
eclair-lang
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
libmoonage
Standalone AArch64 Emulator Library
SharpRetro
A libretro-inspired system for .NET emulators
lambda-n-ways
Benchmarks for capture-avoiding substitution
functional-domain-modeling
"Functional and Reactive Domain Modeling"
software-foundations
Software Foundations in Idris
DomainModelingMadeFunctional
Extended code samples related to the book "Domain Modeling Made Functional". Buy the book here: https://pragprog.com/book/swdddf/domain-modeling-made-functional or here https://fsharpforfunandprofit.com/books/
gominikanren
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
idris2-dom
Javascript DOM bindings for Idris2
idris2-lsp-vscode
Visual Studio Code integration for the Idris 2 language server
trouble.nvim
🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing.
idris2-json
Automatically derivable JSON marshallers in the spirit of Haskell's aeson
idris2-hedgehog
An Idris port of the Haskell Hedghog library
idris2-lsp
Language Server for Idris2
HoTT-Intro
An introductory course to Homotopy Type Theory