neysofu/reltester neysofu/reltester

  • Stars
    star
    18
  • Rank 1,168,058 (Top 24 %)
  • Language
    Rust
  • License
    MIT License
  • Created about 1 year ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
neysofu/reltester
github

neysofu

Reviews

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

Repository Details

Automatically verify your [Partial]Eq/Ord invariants

More Repositories

1

tyche

Statistics utilities for the JVM - in Scala!
Scala
95
star
2

qetesh

Web scraper to train profanity detectors. NSFW!
Python
9
star
3

lambda-squared

A binary Ξ»-calculus (BLC) interpreter written only in Python lambdas.
Python
5
star
4

ousia

(Please don’t repost, this is still a WIP.) A concise and powerful programming language with an insightful compiler.
Rust
3
star
5

zuloid

A chess engine that's easy on the CPU but hard on opponents.
C
2
star
6

harry-potter-in-bf

Harry Potter and the Sorcerer's Stone, in Brainfuck.
Brainfuck
2
star
7

en2tex

A CLI utility to generate LaTeX mathematical expressions, powered by OpenAI APIs
Rust
2
star
8

codegen-rs

A Rust library providing a builder API to generate Rust code - fork of https://github.com/carllerche/codegen
Rust
2
star
9

nomanssky-generator

A planet name generator for No Man's Sky.
JavaScript
1
star
10

zuloidplus

C++
1
star
11

itunes-artworks

A webpage that lets you download high-resolution album covers from the iTunes APIs.
HTML
1
star
12

event-loop-coding-test

Rust
1
star
13

jsonified-fix

FIX dictionary data as JSON
1
star
14

advent-of-code-2022

My Advent of Code 2022 solutions, in Koka πŸŽ„πŸŽ
1
star