Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by noughtmare
A curated list of projects in awesome lists by noughtmare .
https://github.com/noughtmare/hypercube
Minecraft clone in haskell focussed on performance.
game haskell minecraft-clone opengl voxel
Last synced: 07 Nov 2024
https://github.com/noughtmare/gpc
Leightweight generalized parser combinators
Last synced: 14 Oct 2024
https://github.com/noughtmare/haskell-lsp-client
Client library for haskell-lsp
haskell-library language-server-protocol
Last synced: 14 Oct 2024
https://github.com/noughtmare/lafont90
The interaction net language proposed by Yves Lafont implemented in Rascal.
interaction-nets programming-language rascal rascal-mpl
Last synced: 29 Nov 2024
https://github.com/noughtmare/jak
Simple frp text editor for testing and learning purposes.
Last synced: 14 Oct 2024
https://github.com/noughtmare/haskell-school-of-expression
Update SOE to work with modern Haskell
Last synced: 29 Nov 2024
https://github.com/noughtmare/uuagc-constant-folding
Example of a constant folding transformation implemented with uuagc.
ast-transformations attribute-grammars haskell
Last synced: 14 Oct 2024
https://github.com/noughtmare/interact_ackermann
Interaction nets vs GHC performance comparison
Last synced: 29 Nov 2024
https://github.com/noughtmare/mini-lambda
A small lambda calculus interpreter in C for bootstrapping purposes.
Last synced: 29 Nov 2024
https://github.com/noughtmare/frpnow-vty
Program terminal applications with vty and frpnow!
Last synced: 29 Nov 2024
https://github.com/noughtmare/ghc-meta
Parse Haskell code to Template Haskell types using GHC's own parser.
Last synced: 29 Nov 2024
https://github.com/noughtmare/transitive-constraint-plugin
A GHC plugin for resolving transitivity of a binary type class
Last synced: 29 Nov 2024
https://github.com/noughtmare/breitnerbench
Benchmark of Joachim Breitner's Haskell Love talk
Last synced: 29 Nov 2024
https://github.com/noughtmare/xoverlay
XOverlay implementation for haskell based gstreamer
Last synced: 29 Nov 2024
https://github.com/noughtmare/magisterhs
A Haskell implementation of the magister-api.
Last synced: 29 Nov 2024
https://github.com/noughtmare/parsebench
Benchmarking haskell parsing libraries
Last synced: 29 Nov 2024
https://github.com/noughtmare/leitner
Flashcards like learning based on the Leitner method on the command line
Last synced: 29 Nov 2024
https://github.com/noughtmare/tictactoe_hs
Tic Tac Toe implemented in haskell (with AI)
Last synced: 29 Nov 2024
https://github.com/noughtmare/gtk-custom-widget
gi-gtk custom widget example
Last synced: 29 Nov 2024
https://github.com/noughtmare/gtk-player
A videoplayer for gtk and gstreamer written in haskell
Last synced: 29 Nov 2024
https://github.com/noughtmare/haskell-xcompose
.XCompose dotfile for Haskell / Agda related symbols
Last synced: 29 Nov 2024
https://github.com/noughtmare/ag-generalized-traversals
Attribute grammar equivalent of traversals described in: https://chrispenner.ca/posts/traversal-systems
Last synced: 29 Nov 2024
https://github.com/noughtmare/liquid-parsers
An experiment in checking left-recursion and ambiguous parser combinators using liquid types.
Last synced: 29 Nov 2024
https://github.com/noughtmare/game-semantics
An implementation of concepts from the game semantics OPLSS course
Last synced: 29 Nov 2024
https://github.com/noughtmare/uupl-examples
Examples of using uu-parsinglib
Last synced: 29 Nov 2024
https://github.com/noughtmare/type-safe-syntax
Experiments with type safe syntax and closure conversion.
Last synced: 29 Nov 2024
https://github.com/noughtmare/primitive-backpack
An implementation of the primitive package using Backpack to force specialisation.
Last synced: 29 Nov 2024
https://github.com/noughtmare/constraint-game
A demo of a novel declarative GUI programming approach using gi-gtk-declarative and diagrams.
Last synced: 29 Nov 2024
https://github.com/noughtmare/dynamic-vector
A wrapper around vector to support dynamic (growable) vectors.
Last synced: 29 Nov 2024
https://github.com/noughtmare/parsing-ddgs
Parsing Data-Dependent Grammars using Derivatives
Last synced: 29 Nov 2024
https://github.com/noughtmare/project-euler-lambda
Solving project euler problems in pure lambda calculus
Last synced: 07 Nov 2024
https://github.com/noughtmare/hirane
A language which consists solely of Damas-Hindley-Milner lambda calculus + higher-rank newtypes
Last synced: 17 Dec 2024