rntz/infix-calculator rntz/infix-calculator

  • Stars
    star
    1
  • Language
    Haskell
  • Created almost 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rntz/infix-calculator
github

rntz

Reviews

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

Repository Details

Arithmetic calculator with customizable infix operators

More Repositories

1

datafun

Research on integrating datalog & lambda calculus via monotonicity types
TeX
381
star
2

rotten

Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
Python
96
star
3

minikanren-datalog

Datalog implemented in minikanren
Scheme
24
star
4

rust-sandbox

Playing around with rust
Rust
10
star
5

moxy

Language with monoidally extensible syntax
Racket
7
star
6

quick_macro

Quick macros for talon
Python
7
star
7

liberis

lisp bytecode vm
C
6
star
8

ukanren

Playing around with microKanren (in Haskell)
Haskell
6
star
9

rust-hashlife

Gosper's Hashlife algorithm implemented in Rust
Rust
6
star
10

stlc

Stuff about the simply typed lambda calculus
Agda
4
star
11

rntztex

Styles, a class, and a Makefile for LaTeX projects
Python
4
star
12

StreamSet

lazy potentially infinite streamable sets in Haskell
Haskell
3
star
13

ccc

a categorical compiler compiler
Racket
3
star
14

thesis

TeX
3
star
15

rust-fingertrees

Finger trees implemented in rust
Rust
3
star
16

indexed_clipboard

An indexed clipboard for talon.
Python
2
star
17

unidirectional-inference

Bidirectional type inference with wildcards, or "unidirectional type inference"
Haskell
2
star
18

quelle

datalog for queries and linear logic for state transitions
Racket
2
star
19

ttol

research re type theory of linking
Standard ML
2
star
20

plt-ideas-bot

Twitter bot generating PLT ideas by mashing up previous ideas
Python
1
star
21

minikanren-nbe

Normalisation by evaluation in minikanren
Scheme
1
star
22

ocpo

A language with omega-cpo semantics, inspired by Nick Rioux's Granite.
Haskell
1
star
23

emacs-talon

Some emacs talon integration stuff
Emacs Lisp
1
star
24

talon_emacs_draft

Using emacs as a draft window for talon.
Python
1
star
25

deriv-parsing

Exploring "Parsing with Derivatives"
Racket
1
star
26

fixflow

Investigating recursive dataflow for computing fixed points
Racket
1
star
27

curry-howard-slides

TeX
1
star
28

cam-rust

Simple functional VM based on Categorical Abstract Machine, implemented in Rust
Rust
1
star
29

datalog

datalog implementation in racket
Racket
1
star
30

xkcdhash

C
1
star
31

cps-talk

Python
1
star
32

datalog-experience-report

Scheme
1
star
33

hs-prolog

Simple pseudo-Prolog interpreter in Haskell
Haskell
1
star