bor0/hello-idris bor0/hello-idris

  • Stars
    star
    1
  • Language Idris
  • Created about 6 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bor0/hello-idris
github

bor0

Reviews

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

Repository Details

A WordPress plugin written in Idris

More Repositories

1

evm-esp32

A virtual machine for ESP32, allowing dynamic program updates.
C++
124
star
2

gidti

Book: Gentle Introduction to Dependent Types with Idris
73
star
3

soko-scheme

Soko implementation in Scheme
Racket
8
star
4

dafny-tutorial

Exercises for the Dafny Tutorial
PHP
8
star
5

pf500

Synergy PF-500 Fiscal Printer API
C#
8
star
6

hashtable

Hashtable implementation in C
C
8
star
7

budge

Budge - a programming language and a theorem prover
Jupyter Notebook
8
star
8

formal-ed

Paper: Formalizing line editors in Coq
TeX
6
star
9

chip-8

CHIP-8 virtual machine was made to allow video games to be more easily programmed for said computers
C
6
star
10

misc

Misc playground and random stuff
C
6
star
11

master-thesis

Formal verification of Instruction Sets in Virtual Machines
TeX
2
star
12

xmp

xmp PHP Extension
C
2
star
13

sicp

My solutions for SICP
Scheme
2
star
14

tinylisp

A tiny and extensible lisp interpreter
PHP
2
star
15

dotfiles

My dotfiles
Python
1
star
16

jLina

jLina is a Service-oriented application written in C for Windows, which uses the Winsock library, zlib and ODBC library.
1
star
17

keyvalsto

KeyValStorage
C
1
star
18

soko

Sokoban game implementation in SDL/C
C
1
star