-
-
idris2-vim Public
Forked from edwinb/idris2-vimVim mode for Idris 2
Vim Script UpdatedMar 10, 2020 -
-
-
iced Public
Forked from iced-rs/icedA cross-platform GUI library for Rust, inspired by Elm
Rust MIT License UpdatedMar 1, 2020 -
sqlx Public
Forked from oeb25/sqlx🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL.
Rust Apache License 2.0 UpdatedFeb 28, 2020 -
smithay Public
Forked from Smithay/smithayA smithy for rusty wayland compositors
Rust MIT License UpdatedFeb 16, 2020 -
mrkgnao.github.io Public
Forked from rohanchandra/type-themeFree and open-source Jekyll theme
HTML UpdatedFeb 3, 2020 -
cube20rust Public
Rust port of Rokicki's cube20 representation and a human-method solver based on it
-
ale Public
Forked from dense-analysis/aleCheck syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support
Vim Script BSD 2-Clause "Simplified" License UpdatedNov 21, 2019 -
miso-tutorial-app Public
Forked from y-taka-23/miso-tutorial-appGHCJS + Miso client, GHC + Servant server, Nix tying it all together
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 13, 2019 -
qtt Public
Forked from LightAndLight/qttQuantitative Type Theory implementation
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 11, 2019 -
interprocess Public
Forked from achirkin/interprocessPortable interprocess communication (IPC) in Haskell
C BSD 3-Clause "New" or "Revised" License UpdatedJul 11, 2018 -
cypherpunk-research Public
Forked from tombusby/cypherpunk-researchThis repository is essentially for compiling information about Cypherpunks, the history of the movement, and the people/events of note.
1 UpdatedMay 31, 2018 -
phil2 Public
Forked from LightAndLight/phil2Second iteration of my semi-serious toy compiler
Nix UpdatedApr 6, 2018 -
pico Public
The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
-
prosthetic-conscience Public
Towards a functional exocortex
-
-
anki-editor Public
Forked from louietan/anki-editorAn Emacs package that helps you make Anki cards in Org-mode
Emacs Lisp UpdatedFeb 4, 2018 -
rien-digest-example Public
Example usage of Rien with native dependencies
Nix BSD 3-Clause "New" or "Revised" License UpdatedJan 30, 2018 -
-
cabal-helper Public
Forked from DanielG/cabal-helperSimple interface to some of Cabal's configuration state, used by ghc-mod. CI: https://gitlab.com/dxld/cabal-helper/pipelines
Haskell GNU Affero General Public License v3.0 UpdatedJan 30, 2018 -
notation Public
Forked from kai-qu/notationCollection of quotes on interesting notations & how they affect thought.
UpdatedJan 27, 2018 -
write-yourself-a-scheme-in-agda Public
Forked from langston-barrett/write-yourself-a-scheme-in-agdaLike "Write Yourself a Scheme in 48 Hours", but in Agda
Agda Mozilla Public License 2.0 UpdatedJan 23, 2018 -
llvm-hs-pretty Public
Forked from llvm-hs/llvm-hs-prettyPretty printer for LLVM AST to Textual IR
LLVM MIT License UpdatedJan 22, 2018 -
system-dc Public
Strongly typed implementation of System DC, the core language for Dependent Haskell
-
utt Public
The core type theory from the first chapter of Ulf Norell's (Agda) thesis
-
mythical-compiler Public
Notes for a compiler for an as-yet-nonexistent language
1 UpdatedJan 7, 2018 -
-
jeans Public
An experiment in using a theorem prover to find interesting new monads
{{ message }}