Skip to content
View bts's full-sized avatar
88 followers · 16 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@diagonalcat @recursecenter @monic-co

Block or report bts

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • obsidian-add-arxiv-paper Public

    Forked from chauff/paper-note-filler

    Obsidian plugin to create a note from arXiv.org

    TypeScript Updated Apr 14, 2024

  • nixos-templates Public

    Forked from NixOS/templates

    Flake templates

    Nix MIT License Updated Jan 8, 2024

  • srctx Public

    Forked from williamfzc/srctx

    A library for extracting and analyzing definition/reference graphs from your codebase. Powered by tree-sitter and LSIF/SCIP.

    Go Apache License 2.0 Updated Nov 27, 2023

  • sibyl2 Public

    Forked from opensibyl/sibyl2

    The missing fact layer in codebases.

    Go Apache License 2.0 Updated Oct 26, 2023

  • templates Public

    A collection of nix flake templates

    Nix 1 Updated Jul 16, 2023

  • lower Public

    Lowering a surface syntax into different intermediate representations

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated Apr 23, 2023

  • grace Public

    Forked from Gabriella439/grace

    A ready-to-fork interpreted functional language with type inference

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jan 17, 2022

  • sprite-lang Public

    Forked from ranjitjhala/sprite-lang

    An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

    Haskell BSD 3-Clause "New" or "Revised" License Updated Dec 22, 2021

  • effects-examples Public

    Forked from ocaml-multicore/effects-examples

    Examples to illustrate the use of algebraic effects in Multicore OCaml

    OCaml ISC License Updated Jul 17, 2021

  • mist Public

    Forked from ucsd-progsys/mist

    A tiny language for teaching and experimenting with Refinement Types

    Haskell 1 MIT License Updated Jun 22, 2021

  • httprouter Public

    Forked from julienschmidt/httprouter

    A high performance HTTP request router that scales well

    Go BSD 3-Clause "New" or "Revised" License Updated Jun 9, 2021

  • ligra Public

    Forked from jshun/ligra

    Ligra: A Lightweight Graph Processing Framework for Shared Memory

    C++ MIT License Updated Jun 3, 2021

  • book Public

    Forked from realworldocaml/book

    V2 of Real World OCaml

    OCaml Other Updated Jun 13, 2020

  • scbt Public

    Forked from fluffynukeit/scbt

    Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019

    Haskell Other Updated Dec 14, 2019

  • pact Public

    Forked from kadena-io/pact

    The Pact Smart Contract Language

    Haskell BSD 3-Clause "New" or "Revised" License Updated Oct 17, 2019

  • aspen Public

    Forked from ldhulipala/aspen

    Aspen is a Low-Latency Graph Streaming System built using Compressed Purely-Functional Trees

    C++ Updated Jun 24, 2019

  • columnate Public

    Small unix utility to columnate data sets without stripping color codes

    Haskell 3 1 BSD 3-Clause "New" or "Revised" License Updated Apr 19, 2019

  • sbv Public

    Forked from yav/sbv

    SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

    Haskell Other Updated Jan 3, 2019

  • nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix Other Updated Nov 19, 2018

  • isl-hs Public

    Forked from joelburget/isl-hs

    haskell bindings to the integer set library

    Haskell BSD 3-Clause "New" or "Revised" License Updated Nov 18, 2018

  • termonad Public

    Forked from cdepillabout/termonad

    Terminal emulator configurable in Haskell.

    Haskell BSD 3-Clause "New" or "Revised" License Updated Nov 18, 2018

  • deferred-substitution Public

    An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"

    Haskell 15 1 Other Updated Aug 8, 2018

  • quorum Public

    Forked from Consensys/quorum

    A permissioned implementation of Ethereum supporting data privacy

    Go GNU Lesser General Public License v3.0 Updated Jul 9, 2018

  • easytest Public

    Forked from joelburget/easytest

    Simple testing toolkit (extracted from Unison)

    Haskell MIT License Updated Mar 27, 2018

  • Hsmtlib Public

    Forked from buckie/Hsmtlib

    Haskell library for easy interaction with SMT-LIB 2 compliant solvers.

    Haskell MIT License Updated Feb 21, 2018

  • SmtLib Public

    Forked from buckie/SmtLib

    Parser for smt-lib Command responses

    Haskell MIT License Updated Feb 21, 2018

  • sound-and-complete Public

    Forked from evertedsphere/sound-and-complete

    An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system

    Haskell GNU General Public License v3.0 Updated Jan 3, 2018

  • rate-limit Public

    Forked from acw/rate-limit

    A basic rate-limiting library for Haskell

    Haskell BSD 3-Clause "New" or "Revised" License Updated Dec 8, 2017

  • agda-tutorial Public

    Agda Updated Nov 13, 2017

  • async-pool Public

    Forked from jwiegley/async-pool
    Haskell Other Updated Nov 8, 2017