obi1kenobi/monad_compiler obi1kenobi/monad_compiler

  • Stars
    star
    20
  • Rank 1,121,974 (Top 23 %)
  • Language
    Rust
  • License
    MIT License
  • Created almost 3 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
obi1kenobi/monad_compiler
github

obi1kenobi

Reviews

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

Repository Details

A compiler for the MONAD language from Advent of Code 2021 Day 24

More Repositories

1

trustfall

A query engine for any combination of data sources. Query your files and APIs as if they were databases!
Rust
2,399
star
2

cargo-semver-checks

Scan your Rust crate for semver violations.
Rust
1,131
star
3

cargo-semver-checks-action

A GitHub Action for running cargo-semver-checks
TypeScript
60
star
4

typing_copilot

Helper for starting to type-hint large codebases with mypy.
Python
37
star
5

trustfall-rustdoc-adapter

Trustfall adapter for querying rustdoc
Rust
10
star
6

ychacks2014

A hackathon adventure
JavaScript
7
star
7

pyre

6.858 final project -- Python exploitation of PC-remote-control mobile apps
Python
5
star
8

graphql-compiler-cross-db-example

A demo of the GraphQL compiler's cross-database querying capabilities
Jupyter Notebook
4
star
9

trustfall-rustdoc

Trustfall adapters for various rustdoc JSON format versions
Rust
4
star
10

python-bootstrap

A baseline Python project with all tooling set up
Python
3
star
11

kerbal-api

Programmatically querying Kerbal Space Program information, such as part characteristics
Python
3
star
12

advent-of-code-2021

Rust
2
star
13

crates-rustdoc

Rustdoc JSON for top crates, generated by crates-rustdoc-gen
2
star
14

ascension-bot

A system to play the Ascension: Chronicle of the Godslayer board game in an automated fashion for the purposes of game-theoretic analysis of various strategies.
Python
2
star
15

crates-rustdoc-gen

Rustdoc JSON generator for the top crates on crates.io
Rust
2
star
16

advent-of-code-2020

Rust
2
star
17

jester

An authentication system that enables two-factor authentication (2FA) using only client-side Javascript, without relying on any special server-side APIs other than password-based login and password changes for authenticated users.
CoffeeScript
2
star
18

kosmos

Explorations in KSP space exploration with kOS
1
star
19

advent-of-code-2022

Solutions for Advent of Code 2022
Rust
1
star
20

obsidian

Language analysis system
CoffeeScript
1
star
21

livedrop

An end-to-end encrypted photo sharing app using only free-to-use services, where the only trusted parties are the photo sender and recipient.
CoffeeScript
1
star
22

diego

A flexible transaction conflict-resolution framework written in Go
Go
1
star