Beast code in Giters

Matúš Tejiščák's repositories

lightyear

Parser combinators for Idris

Language:IdrisNOASSERTION238 14 19

pmtu

Path MTU discovery tool

Language:PythonNOASSERTION37 30

itt-idris

ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2

Language:Idris23 30

idris-data-frame

Data frames for Idris 2

Language:Idris21 3 1

ttstar

Dependently typed core calculus with erasure

Language:IdrisBSD-3-Clause18 4 1

itt

Tiny dependent calculus with inference of irrelevance and erasure

Language:HaskellBSD-3-Clause15 40

idris-bytes

FFI-based byte buffers for Idris

Language:Idris11 30

idris2-mlf

Malfunction backend for Idris 2

Language:IdrisBSD-3-Clause11 40

meshub

A lightweight mesh VPN

Language:PythonMIT5 20

scan-eSCL

Scan from eSCL-compatible scanners

Language:PythonBSD-3-Clause4 2 4

ever-to-excel

Compile a Scheme-like language into a spreadsheet

Language:HaskellBSD-3-Clause2 20

globusator

Globe stripe generator

Language:Perl2 20

idris2-perf

Various benchmarks

Language:Idris2 10

idris2

A purely functional programming language with first class types

Language:IdrisNOASSERTION1 10

ledger-vim

Feature-free vim plugin for ledger files

Language:Vim ScriptNOASSERTION1 20

cpython

The Python programming language

Language:PythonNOASSERTION010

gcd

Euclidean algorithm, formally verified, provably correct

Language:Idris010

idris

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION030

idris2-boot

A dependently typed programming language, a successor to Idris

Language:IdrisNOASSERTION010

idris2-vim

Vim mode for Idris 2

Language:Vim Script010

kybvid19

covid19 extrapolation for kyberia.sk

Language:R020

malfunction

Malfunctional Programming

Language:OCamlNOASSERTION010

osmstitch

Stitch raster maps from OSM tiles

Language:Python020

pictionary

A pictionary game built with Vue, Node and socket.io

Language:Vue010

pixit

Browser-based drawing game

Language:PureScriptBSD-3-Clause020

purescript-argonaut-aeson-generic

Argonaut codecs for aeson generic encoding

Language:PureScriptMPL-2.0010

rtl8821CU

Realtek RTL8811CU/RTL8821CU USB Wi-Fi adapter driver for Linux

Language:CGPL-2.0000

scrabble

Browser-based Scrabble

Language:PureScriptBSD-3-Clause020

trellys

Automatically exported from code.google.com/p/trellys

Language:Haskell020

ws-game

Library for WebSocket/browser-based game backends

Language:HaskellBSD-3-Clause020