• Stars
    star
    1
  • Language Idris
  • Created over 6 years ago
  • Updated over 6 years ago

Reviews

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

Repository Details

idris ported to the esp32

More Repositories

1

purescript-simple-dom

PureScript
44
star
2

swen

Swift 2d game engine, using SDL for rendering and chipmunk for physics
Swift
19
star
3

tilde

A static blog generator written in F# using Razor and FSharp.Formatting
F#
18
star
4

ikxDHCP

Ruby based DHCP server and client, purely for learning
Ruby
15
star
5

dotfiles-old

Shell
8
star
6

rum

A Window Manager written in Crystal
Crystal
7
star
7

GTKSwift

Swift+GTK
Swift
7
star
8

mad

a ruby based terminal text editor
Ruby
6
star
9

rsatweets

Tweets encrypted with 1024bit rsa encryption! Allows using twitter to store files! (Although might use up a few API calls). Written in python.
Python
6
star
10

nl-discount

libmarkdown wrapper for newlisp
4
star
11

polymer-re-markable

Markdown component for polymer, using remarkable and highlightjs.
4
star
12

mksc

compile all the things
C
3
star
13

termbox-ffi

FFI wrapper and embedded termbox library
Ruby
3
star
14

CXML2

Libxml2 wrapper for swift
Swift
2
star
15

myclipboardismine

chrome extension to remove Tynt clipboard hijacking
JavaScript
2
star
16

PDFy

Some F# Utility functions to deal with PDF's via MonoMac and PDFKit
F#
2
star
17

bindings-wlc

Haskell bindings for wlc
Haskell
2
star
18

nicotine

Objective-C Cross platform webserver
Objective-C
2
star
19

mirai

an eventmachine irc bot
Ruby
2
star
20

scalos

hacking around with scala-native to write scala on the metal
C
2
star
21

sqlitebrowser-macruby

A simple sqlite query checker written in macruby, with ruby regex post-process!
Ruby
2
star
22

blog.ashleytowns.id.au

jekyll blog
HTML
2
star
23

dotemacs

my emacs setup
Emacs Lisp
1
star
24

rio

Ruby FFI wrapper around the Io VM
Ruby
1
star
25

zeptolisp

lisp to the 1000βˆ’7
C
1
star
26

pdfkiths

playing with haskell, a pdfkit wrapper
Haskell
1
star
27

processhook

Toy OpenGL hook in haskell
Haskell
1
star
28

puppies-as-a-service

http://puppies-service.com/
JavaScript
1
star
29

seagate-wireless-drives

Makefile
1
star
30

USS

awesome cool toy lisp
C
1
star
31

CSDL

Swift bindings to SDL2
Swift
1
star
32

tsd2purs

An attempt at a .d.ts to .purs stub generator
Ruby
1
star
33

mono3-buildpack

Shell
1
star
34

pt

command-line pivotal tracker client
Ruby
1
star
35

swift-udev

a swift-y udev abstraction
Swift
1
star
36

rbDNS

A Work in progress DNS library for ruby
Ruby
1
star
37

iaic

A cocoa based irc client with ruby scripting support!
C
1
star
38

stdasm

Assembly
1
star
39

purescript-fuse

fuse4js bindings in purescript
PureScript
1
star
40

sinatra_template

just a simple sinatra template
Ruby
1
star
41

4scrape

playing with node.js / mongodb
JavaScript
1
star
42

micromvc

An opinionated tiny MVC framework
Ruby
1
star
43

CGTK3

C++
1
star
44

banksia

A toy client side typescript mvc framework
TypeScript
1
star