bbarker/LearningAgda bbarker/LearningAgda

  • Stars
    star
    1
  • Language
    Nix
  • Created over 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bbarker/LearningAgda
github

bbarker

Reviews

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

Repository Details

Agda learning repo with some handy nix expressions

More Repositories

1

Visopsys

A GitHub mirror of Visopsys http://visopsys.org
C
13
star
2

scalajs-mapbox

A Scala.js interface to Mapbox and related APIs, like Leaflet.js.
Scala
11
star
3

IntelliJATS

An ATS Plugin for IntelliJ IDEA.
Java
9
star
4

AncientenUnixen

Just a collection of others' Unix implementations for educational purposes, centering around v6/v7
C
9
star
5

haskell-zio

A monad-transformer analogue to the Scala ZIO library (basically, UIO + Reader + Either)
Haskell
7
star
6

timekeeping-template

A script for generating reports from an hledger timekeeping project
Haskell
6
star
7

voxel-vegetables

Farm as many resources as you can in the specified amount of time
Rust
6
star
8

FALCON

Flux Assignment (with) LAD Convex Objectives (and) Normalization.
C
4
star
9

bbarker-unison

Optimization in Unison
4
star
10

nixos-in-docker

NixOS running in Docker. In development - not for production.
Shell
4
star
11

Hypothesis-API

A Perl wrapper for the nascent hypothes.is web API, and loosely based on a Python package: https://github.com/rdhyee/hypothesisapi
Perl
3
star
12

purescript-hodgepodge

A docker container and runner with a mix of build tools. Makes liberal use of host mounts.
Shell
3
star
13

diz

Discord bot in ZIO and Scala 3
Scala
2
star
14

inigo

Inigo: A Package Manager for Idris2
Idris
2
star
15

scala-maven-jmh-bench-demo

Scala fork and port of https://github.com/peterszatmary/jmh-benchmark-demo
Scala
2
star
16

SoftwareTools

Rust
1
star
17

GSL

Fork of GNU GSL: savannah.gnu.org
C
1
star
18

optics-exercises

Haskell
1
star
19

brandon

mostly unix user configuration files
Emacs Lisp
1
star
20

ProjectGists

Basically gists, but where a github gist isn't enough
Scala
1
star
21

ATStest

Some simple examples for learning ATS.
ATS
1
star
22

9hack

A port in progress of NetHack 3.4.3 to Plan9. The aim is to use the native Plan9 facilities
C
1
star
23

purescript-concur-adventure

Choose your own adventure, with Concur
PureScript
1
star
24

M-N-K-Tic-Tac-Toe

A simple command-line tic-tac-toe game with variable board sizes and winning lengths. Prototype is written in C, while primary implementation will be written in ATS.
ATS
1
star
25

SME

Wrappers and examples for using JME3 (JMonkeyEngine 3) in Scala
Scala
1
star