prozacchiwawa/idris-barehw-experiment prozacchiwawa/idris-barehw-experiment

  • Stars
    star
    8
  • Rank 2,098,980 (Top 42 %)
  • Language
    C
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
prozacchiwawa/idris-barehw-experiment
github

prozacchiwawa

Reviews

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

Repository Details

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

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

elm-json-codec

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

gallant12x22-lineart

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

elm-worker-runner-example

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

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
7

ml-stow

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

chia-singleton-test

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

pygmalion

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

elm-spa-transform

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

ocaml-pad

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

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
13

effmodel

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

haskell-glyphic

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

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
16

ochialisp

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

elm-react-native-calc

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

online-ascii-diagram-editor

An online ascii diagram editor
OCaml
2
star
19

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
20

clang-tooling-style

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

simple-elf-nm-in-csharp

Exercise in C styled C#
C#
1
star
22

icfp2020-fsharp-starter-pack

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

idris-subleq

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

ats-christmas-2023

My dos christmas card for 2023 in ATS
ATS
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