mb64/sel mb64/sel

  • Stars
    star
    51
  • Rank 568,706 (Top 12 %)
  • Language sed
  • License
    MIT License
  • Created over 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mb64/sel
github

mb64

Reviews

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

Repository Details

Sed Lisp -- a lisp interpreter in GNU sed

More Repositories

1

LC-interpreter

A compiler and runtime for normalizing the untyped λ-calculus
C
30
star
2

prolog

A simple prolog implementation in Rust
Rust
26
star
3

xtt

A simple implementation of XTT, "A cubical language for Bishop sets"
OCaml
26
star
4

android-ndk-rs

Rust bindings to the Android NDK
Rust
24
star
5

simple-lambda-prolog

A simple λProlog interpreter
OCaml
19
star
6

poly

A WIP compiler for a functional language. Very incomplete!
Haskell
16
star
7

idris2-extras

Some extra utilities for programming in Idris 2.
Idris
7
star
8

cubical-free-monads

Verified free monads in cubical agda
Agda
4
star
9

small_morse

Rust library for generating morse code
Rust
3
star
10

smol_stack_machine

A very minimal stack-based architecture
Haskell
2
star
11

sitting-solver

A work in progress! Sitting solver aspires to be a good SAT solver in the future.
Rust
2
star
12

android-rs-glue-test

Rust
1
star
13

bingrep

Search for fixed strings in large binary files
Rust
1
star