andorp

andorp's Stars

• folke/trouble.nvim

  🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing.

  Language:Lua5.6k19358177

• mmhelloworld/idris-jvm

  JVM bytecode back end for Idris

  Language:Idris469295626

• idris-hackers/software-foundations

  Software Foundations in Idris

  Language:Idris452292734

• swlaschin/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/

  Language:F#441241484

• GaloisInc/ivory

  The Ivory EDSL

  Language:Haskell395497428

• EgbertRijke/HoTT-Intro

  An introductory course to Homotopy Type Theory

  Language:Agda36224328

• luc-tielen/eclair-lang

  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

  Language:Haskell22142212

• stefan-hoeck/idris2-tutorial

  Language:Idris197101329

• channable/dbcritic

  Language:Idris1722752

• idris-community/idris2-lsp

  Language Server for Idris2

  Language:Idris165157634

• ToposInstitute/poly

  Language:TeX1092027

• sweirich/lambda-n-ways

  Benchmarks for capture-avoiding substitution

  Language:HTML107527

• edwinb/SPLV20

  SPLV20 course notes

  Language:Idris10612034

• MagpieBridge/MagpieBridge

  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration

  Language:Java7991626

• daeken/libmoonage

  Standalone AArch64 Emulator Library

  Language:C++70829

• stefan-hoeck/idris2-dom

  Javascript DOM bindings for Idris2

  Language:Idris50598

• frex-project/idris-frex

  Language:Idris47629

• awalterschulze/gominikanren

  a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.

  Language:Go38632

• eayus/sirdi

  Package manager for Idris

  Language:Idris3571311

• daeken/SharpRetro

  A libretro-inspired system for .NET emulators

  Language:C#33603

• stefan-hoeck/idris2-hedgehog

  An Idris port of the Haskell Hedghog library

  Language:Idris32663

• bamboo/idris2-lsp-vscode

  Visual Studio Code integration for the Idris 2 language server

  Language:TypeScript2961613

• mattpolzin/harmony

  Harmonize with coworkers around GitHub reviewing.

  Language:Idris204520

• karroffel/Idris2-Ocaml

  OCaml backend for Idris2

  Language:Idris19503

• kbertalan/tyttp

  Language:Idris19333

• stefan-hoeck/idris2-json

  Automatically derivable JSON marshallers in the spirit of Haskell's aeson

  Language:Idris16345

• crisoagf/plfa-idris

  Language:Idris50

• hgoldstein95/ungenerators

  Language:Haskell4100

• gergoerdi/petbasic-parser

  Language:Idris3

• yuk1ty/functional-domain-modeling

  "Functional and Reactive Domain Modeling"

  Language:Scala220