bbarker/inigo bbarker/inigo

  • Stars
    star
    2
  • Language Idris
  • Created about 4 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bbarker/inigo
github

bbarker

Reviews

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

Repository Details

Inigo: A Package Manager for Idris2

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

scala-maven-jmh-bench-demo

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

SoftwareTools

Rust
1
star
16

GSL

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

optics-exercises

Haskell
1
star
18

brandon

mostly unix user configuration files
Emacs Lisp
1
star
19

ProjectGists

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

LearningAgda

Agda learning repo with some handy nix expressions
Nix
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