Innf107/aoc2023 Innf107/aoc2023

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Assembly
  • Created 12 months ago
  • Updated 12 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Innf107/aoc2023
github

Innf107

Reviews

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

Repository Details

More Repositories

1

polaris

A functional programming language with shell scripting capabilities
OCaml
81
star
2

vega

A dependently typed programming language with direct style effects and linearity
Haskell
18
star
3

flora

A pure embeddable functional programming language with algebraic effects and direct access to evaluation environments
OCaml
8
star
4

Innf107.github.io

My blog
HTML
5
star
5

cobble-compiler

A purely functional programming language
Haskell
5
star
6

essentials-of-compilation

PLSQL
3
star
7

lily

A proof assistant
Haskell
3
star
8

helios

An HTTP server
OCaml
3
star
9

preluwude

An alternative prelude with a focus on efficient data structures and concrete transformer stacks
Haskell
3
star
10

neon

A programming language that targets minecraft data packs
Haskell
2
star
11

ocaml-bestline

OCaml bindings for bestline
C
1
star
12

navi

A dependently typed programming language with algebraic effects
Haskell
1
star
13

SkynetII

A discord bot.
HTML
1
star
14

bam-docs

Documentation for the BAM! programming language
HTML
1
star
15

vplan-ars

JavaScript
1
star
16

poly

some algorithms on polynomials
Haskell
1
star
17

flora-vscode

Syntax highlighting for the Flora programming language
TypeScript
1
star
18

mcrcon

A Haskell implementation of the RCON protocol for Minecraft
Haskell
1
star