Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus
☆11Mar 31, 2017Updated 8 years ago
Alternatives and similar repositories for SF
Users that are interested in SF are comparing it to the libraries listed below
Sorting:
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 9 years ago
- A programming language☆14Jan 24, 2015Updated 11 years ago
- A convenient script that generates a fully decked haskell project in a matter of seconds!☆19Mar 19, 2023Updated 2 years ago
- An integrated context-aware scanner and parser generator☆22Dec 4, 2023Updated 2 years ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Feb 28, 2019Updated 7 years ago
- Serverless WordPress Deployment on Google Cloud Platform☆15Nov 7, 2025Updated 3 months ago
- Type Your Matrices For Great Good☆29Jul 22, 2020Updated 5 years ago
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆16Updated this week
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- ET (IPL) language interpreters and literature☆26Feb 15, 2019Updated 7 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆45Jan 23, 2026Updated last month
- Hyuga - Yet Another Hy Language Server☆33May 23, 2025Updated 9 months ago
- IO using sized types and copatterns☆36Apr 14, 2021Updated 4 years ago
- Exemplary fullstack Medium.com clone powered by Servant and Beam☆33Aug 4, 2019Updated 6 years ago
- Literally the best anonymous records☆36Mar 13, 2023Updated 2 years ago
- being some experiments, working towards some equipment I wish I had☆37Feb 3, 2016Updated 10 years ago
- Interpreter for the reversible functional language rFun☆38Feb 28, 2018Updated 8 years ago
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- A blazingly-fast, hackable linter☆10Apr 15, 2025Updated 10 months ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Feb 14, 2026Updated 2 weeks ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Find or build all reverse dependencies of a Haskell package using Nix☆14Jul 26, 2020Updated 5 years ago
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆13Jun 26, 2025Updated 8 months ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- ☆10Jun 2, 2020Updated 5 years ago
- Basics of the dependently-typed functional language Agda ^_^☆42Jan 6, 2022Updated 4 years ago
- Crowdsourced event coverage system developed by Pittsburgh IndyMedia during the G20. Incorporates twitter, flickr, google maps, podcast…☆24Feb 15, 2010Updated 16 years ago
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Mar 28, 2017Updated 8 years ago
- ☆10Updated this week
- Cap’n Proto plugin for generating serializable Pony classes. - 'n☆19Apr 7, 2018Updated 7 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- salt state definitions for installing logstash, elasticsearch and kibana☆36Aug 6, 2013Updated 12 years ago
- An experimental interactive shell for Alpaca, the ML language that runs on the Erlang VM☆10Jun 7, 2017Updated 8 years ago