jfdm/olaf-lang jfdm/olaf-lang

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language Idris
  • Created over 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jfdm/olaf-lang
github

jfdm

Reviews

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

Repository Details

Adventures in being functional.

More Repositories

1

idris-containers

Various data structures for use in the Idris Language.
Idris
95
star
2

sta-latex

Unofficial set of LaTeX classes, styles, and knick-knacks aimed at use within the University of St Andrews.
TeX
24
star
3

pyPEBEL

A python module to support the use of the IBE, ABE, and PBE family of asymmetric encryption schemes.
Python
21
star
4

idris-config

Parsers for various configuration files written in Idris.
Idris
19
star
5

idris-xml

A simple XML module for Idris.
Idris
13
star
6

velo-lang

Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
Idris
12
star
7

idris-testing

Testing Utilities for Idris programs.
Idris
9
star
8

hUML

A Haskell Clone of PlantUML with various subtle differences.
Haskell
8
star
9

idris-argparse

A simple argument parser written in Idris.
Idris
7
star
10

idris-protocol-examples

Examples of using the Idris Protocols package for stuff.
Idris
5
star
11

tears-in-the-rain

TeX
4
star
12

idris2-toolkit

I collection of things I use in Idris2 that I dump into private projects to avoid dependency hell.
Idris
4
star
13

chipshop

3
star
14

packer-idris

Packer scripts for generating Virtual Box OVFs that have Idris preinstalled.
Shell
3
star
15

idris-grl

An implementation of the Goal Requirements Language in Idris.
Idris
2
star
16

positively-negative

Adventures in being positively negative when deciding things in Idris.
Idris
2
star
17

idris-uml

A simple DSL for UML modelling together with an API for programmable access.
Idris
1
star
18

edda

A processing engine for documents written in markdown-like languages.
Idris
1
star
19

java-grl

An implementation of the GRL in Java
Java
1
star
20

sif-lang

A Requirements Oriented DSL for design pattern specification.
Idris
1
star
21

lambdadome

Idris
1
star
22

gla-latex

Unofficial University of Glasgow LaTeX templates.
TeX
1
star