• Stars
    star
    23
  • Rank 985,736 (Top 20 %)
  • Language
    Elixir
  • License
    MIT License
  • Created about 7 years ago
  • Updated 3 months ago

Reviews

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

Repository Details

Generates Elm types and functions from i18n key/value JSON files

More Repositories

1

learn-prolog-now-exercises

My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
Prolog
282
star
2

json-schema-to-elm

Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications
Elixir
83
star
3

chip-8

A CHIP-8 emulator written in Elm
Elm
9
star
4

json_schema

A library for parsing, inspecting and manipulating JSON Schema documents
Elixir
9
star
5

brainfuck

A brainfuck interpreter written in Elm
Elm
7
star
6

simpl-lang

A simple language created in Coq, batteries and correctness proofs included.
Coq
6
star
7

gesture-recognition

Project for inferring various touch and object gestures using the TUIO protocol, CoffeeScript and node.js
CoffeeScript
4
star
8

helm-bitbucket

A helm interface for searching Bitbucket
Emacs Lisp
3
star
9

yasnippets-coq

Coq snippets for the Yasnippet emacs mode.
3
star
10

99-problems

I got 99 problems but a Lisp ain't one
Scheme
2
star
11

adventOf-CODE_2022

25 days, 25 puzzles, 25 languages, surely I will regret this decision
Clojure
2
star
12

dragonwasrobot.github.io

My website.
SCSS
2
star
13

ex_rerun

Rerun custom mix tasks on code modification
Elixir
2
star
14

formal-moessner

A formal study of Moessner's sieve
Coq
2
star
15

formal-language

A python package containing various constructs used in formal language theory, i.e. Finite Automatas, Push-down Automatas and Turing Machines.
Python
2
star
16

sicp-exercises

This is a collection of solutions to the exercises found in 'Structure and Interpretation of Computer Programs' by Harold Abelson, Gerald Jay Sussman and Julie Sussman.
Scheme
2
star
17

get-shit-done

Script for reducing distractions and improving focus
Shell
1
star
18

game-of-life

A CoffeeScript and HTML5 canvas implementation of Conway's Game of Life.
CoffeeScript
1
star
19

b.el

A byte manipulation library
Emacs Lisp
1
star