GitHub - gregr/experiments: a steady descent into madness

2 Branches 0 Tags

Name	Name	Last commit message	Last commit date
Latest commit gregr Document failed SAT solver implementation Sep 12, 2024 9d456d1 · Sep 12, 2024 History 1,007 Commits
acl2	acl2	Investigate the ACL2 induction axiom scheme	Jun 12, 2023
agda	agda	Moved AGDA termination example	Apr 6, 2013
cfa	cfa	control flow analysis	Jun 13, 2012
control	control	Simplify halt continuation	Nov 5, 2019
data	data	Note that filter only works with join-semilattices	Aug 16, 2019
demo-eval	demo-eval	Implement fexpr models with comments	Feb 22, 2019
dependent-types	dependent-types	Compute Either equality consequence	Aug 1, 2023
mk-misc	mk-misc	Document failed SAT solver implementation	Sep 12, 2024
pypy-vs-ghc	pypy-vs-ghc	Added a silly "pypy vs. ghc" benchmark	Apr 6, 2013
rack	rack	Write natural numbers in lexicographic base-10	Jan 1, 2022
relational-hindley-milner	relational-hindley-milner	Add old relational Hindley-Milner interpreter	May 25, 2020
stlc	stlc	Ignore mk dependency	Nov 2, 2021
supercompilation	supercompilation	Replace atom=? with = and symbol=?	Oct 29, 2023
verse	verse	Add LICENSE for verse	Sep 22, 2023
web	web	Benchmark use of context array instead of dict	Nov 17, 2017
.gitignore	.gitignore	Added some old AGDA experimentation	Apr 6, 2013
AbstractSyntax.hs	AbstractSyntax.hs	AbstractSyntax: I have no idea what I am doing	Mar 5, 2012
CFG.hs	CFG.hs	initial CFG derivatives parser	Aug 21, 2011
DirectCalc.hs	DirectCalc.hs	Stash old idea: Add interpreter for a Direct Calc	Apr 24, 2013
Expr.hs	Expr.hs	new ideas for modules as procedures + letrec	Jul 31, 2012
Gram.hs	Gram.hs	A correct CFG recognizer (least fixed point actually works)	Dec 5, 2011
GraphTerm.hs	GraphTerm.hs	Add test for TupleWrite	Apr 24, 2013
Lattice.hs	Lattice.hs	old stuff never checked in	Jun 13, 2012
ParseForm.hs	ParseForm.hs	factored out common parsing utils	Oct 21, 2012
ParseSpec.hs	ParseSpec.hs	factored out common parsing utils	Oct 21, 2012
ParseUtil.hs	ParseUtil.hs	factored out common parsing utils	Oct 21, 2012
PiSig.hs	PiSig.hs	Stash an old idea: Prepare for a pi-sigma calc	Apr 24, 2013
Proj.hs	Proj.hs	projections	Jun 13, 2012
README	README	clarification	Jun 30, 2012
Regex.hs	Regex.hs	regex derivative matching	Aug 12, 2011
Repl.hs	Repl.hs	fix Repl.hs wrt ParseForm.hs	Oct 20, 2012
SimpleCalc.hs	SimpleCalc.hs	Added generalized Let	Nov 25, 2012
Simpler.hs	Simpler.hs	simplify symbols until more complex forms become necessary	Sep 14, 2012
TODO	TODO	Add scalable universe ideas	Nov 4, 2014
algebraic-effect-handlers.rkt	algebraic-effect-handlers.rkt	Indicate what gives us deep vs. shallow handlers	Jan 15, 2018
basis.spec	basis.spec	basis.spec improvements	Oct 13, 2012
examples.hs	examples.hs	Define heterogeneous apply using type families	Dec 23, 2015
hmftest.hs	hmftest.hs	Stash old idea: Add scaffolding for ML^F	Apr 24, 2013
intersection.hs	intersection.hs	old stuff never checked in	Jun 13, 2012
intersection.py	intersection.py	old stuff never checked in	Jun 13, 2012
mixing-symbolic-and-direct-manipulation.md	mixing-symbolic-and-direct-manipulation.md	Add mixing-symbolic-and-direct-manipulation.md	Mar 2, 2016
mlf.hs	mlf.hs	Stash old idea: Add scaffolding for ML^F	Apr 24, 2013
modularity.hs	modularity.hs	modular typing experimentation	Jul 31, 2012
scratch.hs	scratch.hs	clarify how to run state test	Dec 4, 2011
smallstep0.hs	smallstep0.hs	initial small-step interpreter in haskell	Aug 8, 2011
smallstep1.hs	smallstep1.hs	old stuff never checked in	Jun 13, 2012
tc.hs	tc.hs	futile attempt to encode intersection types	Jul 13, 2012

Repository files navigation

This is a pile of nonsense produced while playing around with half-baked ideas.  Don't hurt yourself trying to figure it out.

None of this should be useful.  If I find that I'm mistaken, the useful bits will be moved to form a new project, restoring order to the universe.