prozacchiwawa/ats-christmas-2023 prozacchiwawa/ats-christmas-2023

  • Stars
    star
    1
  • Language ATS
  • Created 6 months ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
prozacchiwawa/ats-christmas-2023
github

prozacchiwawa

Reviews

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

Repository Details

My dos christmas card for 2023 in ATS

More Repositories

1

elm-basic-compile

The simplest interface I'm able to come up with to elm-compiler, supporting executing in javascript
JavaScript
19
star
2

chia-checkers

A checkers game in chialisp that ensures that it continues from a single launcher and allows only valid moves
Python
13
star
3

idris-barehw-experiment

A partial experiment building a 64-bit kernel in idris. Very WIP, some things just barely work
C
8
star
4

elm-json-codec

A library for creating combined encoders and decoders for Json in Elm, allowing composition.
Elm
5
star
5

gallant12x22-lineart

A line-art version of the gallant12x22 pixel font which looks nicer in more resolutions
5
star
6

elm-worker-runner-example

Minimal code for node and rhino for running an elm worker
JavaScript
5
star
7

elm-keccak

keccak (and sha3) implementation in elm based on the C source by Guido Bertoni, Joan Daemen, MichaΓ«l Peeters, Gilles Van Assche and Ronny Van Keer
Elm
5
star
8

ml-stow

A quick and dirty imitation of gnu stow that isn't quite as pedantic
OCaml
3
star
9

chia-singleton-test

A minimal complete code example for testing out a chia singleton on the blockchain
Python
3
star
10

pygmalion

javascript interpreter in C# based on narcissus
C#
3
star
11

elm-spa-transform

Repository going along with medium posts about generalizing elm code
Elm
2
star
12

ocaml-pad

Monolithic ocaml environment bundled as a single html file
OCaml
2
star
13

elm-react-native-experiment

An experiment pulling elm-native-ui forward to 0.17 and eliminating native js from it in favor of 0.17 style ports
Objective-C
2
star
14

effmodel

Simple package to make dealing with model and effect pairs more composable.
Elm
2
star
15

haskell-glyphic

A haskell library for parsing ascii-art drawings with boxes and connections.
Haskell
2
star
16

private-dht-mesh

A mesh network created using a simple DHT implementation. Endpoints may communicate over the connected mesh or directly, depending on what's possible.
F#
2
star
17

ochialisp

A somewhat authentic implementation of chialisp from the ground up using a different approach
OCaml
2
star
18

elm-react-native-calc

A simple calculator test to go along with elm-native-ui
Elm
2
star
19

online-ascii-diagram-editor

An online ascii diagram editor
OCaml
2
star
20

braceit

A very simple parser that rejects the input if any 'if', 'else', 'while' or 'for' statements are not braced properly. Ignores preprocessor directives.
Python
1
star
21

clang-tooling-style

An enforcer for some opinionated rules about coupling in C++
C++
1
star
22

simple-elf-nm-in-csharp

Exercise in C styled C#
C#
1
star
23

icfp2020-fsharp-starter-pack

ICFP 2020 starter pack for F# using the csharp docker image
F#
1
star
24

idris-subleq

An exploration of a subleq machine whose type reflects its state
Idris
1
star
25

fstar-bucklescript-experiment

Experiment to make a project skeleton for f* targeting js.
OCaml
1
star
26

elm-lightbox

A lightbox html editor with an overlay image in elm
Elm
1
star
27

reactos-vs-win-stdole

A comparison of windows vs reactos stdole made by creating .net implibs and diffing them
1
star
28

CSConsole

C# fancy console window for windows from back in the day
C#
1
star
29

breathclock

An android live wallpaper that draws the current time on a frosty window. Not great code yet, but functional.
Java
1
star