Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for haskell scheme
haskell
x
scheme
x
68 search results found
Awesome Recursion Schemes
⭐
945
Resources for learning and using recursion schemes.
Scheme
⭐
453
Write You a Scheme
Husk Scheme
⭐
299
A full implementation of the Scheme programming language for the Haskell Platform.
Recursion Scheme Talk
⭐
176
A talk on using recursion schemes in FP.
Dysvunctional Language
⭐
130
Running the code you want to write as fast as the code you have to write
Crisp Compiler
⭐
99
A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
Compdata
⭐
87
Haskell library implementing "Data Types a la Carte"
Yaya
⭐
81
Yet another yet another recursion scheme library in Haskell.
Recursion_schemes
⭐
60
Recursion schemes for Idris
Unpythonic
⭐
59
Supercharge your Python with parts of Lisp and Haskell.
Yale Haskell
⭐
45
HASKELL: Yale Haskell system written in Lisp
Teaching Fp
⭐
45
Techniques, advice, and anecdotes about how to teach Functional Programming
Idris Chez
⭐
44
An idris backend compiling to chez scheme
Polyeuler
⭐
33
My attempt to finish Project Euler in as many programming languages as possible.
Ppl
⭐
28
This repository contains the material related to the practical classes of the course Principles of Programming Languages
Hledger Interest
⭐
25
compute interest for hledger accounts
Normalization By Evaluation
⭐
25
Normalization-by-evaluation in miniKanren
Xmonad Config
⭐
24
My xmonad config, the colour scheme is currently Zenburn, but a lime green and black scheme is in the testing-colour branch, "macstyle" is an ironic white black and blue color scheme
Mattermost Api
⭐
23
Client side API for communicating with a mattermost server in Haskell
Haskell Scheme
⭐
22
Writing Scheme in Haskell
Generic Recursion Schemes
⭐
21
Folds for recursive types with GHC Generics
Lisper
⭐
20
A tiny scheme interpreter in Haskell
Hopc
⭐
19
Experimental Scheme-like compiled language
R6rs Monads
⭐
19
This package implements genereric syntax for working with monads in R6RS scheme.
Data Fix
⭐
18
Fixpoint data types
Chiroptical
⭐
17
About me
Write Yourself A Scheme Doc
⭐
17
R5rs Denot
⭐
17
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
Pontiff
⭐
15
a haskell-style build system for chicken scheme
Scheme2luac
⭐
14
A Scheme compiler to Lua bytecode
Intrigue
⭐
14
My attempt at writing a R⁵RS-compliant Scheme with Megaparsec
Harmonia
⭐
14
Typed (Smalltalk × Haskell × Scala × Scheme) little-bastard-child that compiles to JavaScript.
Recursion Schemata
⭐
12
Generate fake recursion schemes
Yasih
⭐
11
Yet another Scheme implemented in Haskell
Fp2014
⭐
11
Repository for Functional Programming course for 2nd year Computer Science
Cadregalisp
⭐
11
🍎 Just another useless programming language, but with inganno.
A2fp
⭐
11
Ann Arbor Functional Programming User Group
Fpkn1415
⭐
10
Functional programming exercises. Materials for a course in Sofia University.
Robin
⭐
10
MIRROR of https://codeberg.org/catseye/Robin : A Scheme-like language where both functions and macros are defined in terms of fexprs
Leesp
⭐
9
Wrote myself a scheme in 48 hours, fancy that... (from the book of a remarkably similar name!)
Simple Functional Programming
⭐
9
Функциональное программирование простым языком + примеры
Self_learning
⭐
9
Text books and programming problem websites
Flowskell
⭐
9
Fluxus clone in Haskell
Write You A Programming Language
⭐
9
List of small programming languages that you can implement in a relatively small amount of time for educational purposes.
Emmental
⭐
8
MIRROR of https://codeberg.org/catseye/Emmental : A language based on meta-circular interpreters, precursor to Mascarpone.
Aoc2021
⭐
7
Solutions to & Learnings from Advent of Code 2021
Morphism Zoo
⭐
7
Some examples of recursion schemes, with benchmarks
Gpif Datakinds
⭐
7
Generic Programming with Indexed Functors using DataKinds -- (co)recursion schemes for "free"!
Gazelle
⭐
7
Gazelle - A scripting language inspired by LISP and Scheme
Lp
⭐
7
A playground for me to play with programming languages
Ttyped
⭐
6
A simple dependently typed language based on the Calculus of Constructions.
Snailscheme
⭐
6
A read friendly Scheme implementation
Unnamed Project
⭐
6
A toy STLC implementation.
Pl2014
⭐
6
Principles of Programming Languages 2014 - TA
Wiz
⭐
6
A Scheme interpreter written in Haskell
Lfc Haskell
⭐
6
🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects
Resources
⭐
6
Code, text, and images for Lisps ⟺ Haskells
Merkle Schemes
⭐
6
apply merkle-type hash annotations to arbitrary recursive data structures as defined using recursion schemes
Git Config Manager
⭐
6
Manage git repository configurations with ease
Misc
⭐
6
Misc playground and random stuff
Little Scheme
⭐
5
A little scheme for playing SICP
Apidsl
⭐
5
DSL for C APIs to aid consistency of naming schemes and comments.
Fp 2018
⭐
5
Упражнения по функционално програмиране (избираема дисциплина, ФМИ, 2018)
Static Scheme
⭐
5
Glados 2023
⭐
5
A Scheme interpreter in Haskell.
Alonzo
⭐
5
a scheme interpreter written in Haskell
Czz
⭐
5
Whole-program, Scheme-scriptable, multi-language, coverage-guided fuzzer
Scheme Dep
⭐
5
A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
Related Searches
Haskell Ghc (1,289)
Types Haskell (1,028)
Language Haskell (853)
Haskell Functional Programming (811)
Python Scheme (766)
Javascript Scheme (705)
Haskell Monad (681)
Theme Scheme (670)
Haskell Hackage (574)
Haskell Stack (554)
1-68 of 68 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.