zeptometer/egison-common-lisp zeptometer/egison-common-lisp

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    Common Lisp
  • Created almost 6 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
zeptometer/egison-common-lisp
github

zeptometer

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Port of https://github.com/egison/egison-scheme for Common Lisp

More Repositories

1

jest-pdf-snapshot

Jest matcher for pdf comparison.
JavaScript
10
star
2

satysfi-test

Write tests for SATySFi code
Shell
6
star
3

picrin-prolog-dsl

Scheme
5
star
4

lambda-star

Implementation of meta lambda calculus with cross-level computation
Common Lisp
4
star
5

GreenDerive

INACTIVE: Yet another SATySFi library for displaying derivation trees
Makefile
3
star
6

lispjit

PoC lisp interpreter that performs JIT Common-Lisp code generation
Common Lisp
3
star
7

git-commit-dq

Ruby
2
star
8

toy-lisp

Toy Lisp Interpreter with Java 17
Java
2
star
9

SATySFi-fonts-dejavu

SATySFi font package for DejaVu fonts
Makefile
2
star
10

LearnLean

Code Snippets for TheoremProvingInLean
Lean
1
star
11

Kiret

simple scheme imlementation
C
1
star
12

create-satysfi-fonts-package

create-satysfi-fonts-package helps you generate satsyfi fonts packages
Ruby
1
star
13

compiler-learning

playground for compiler
Rust
1
star