Skip to content
@bondi-lang

bondi-lang

Pinned Loading

  1. bondi Public

    Forked from Barry-Jay/bondi

    source code for the bondi programming language

    OCaml 1

  2. Intensional-computation Public

    Forked from Barry-Jay/Intensional-computation

    translations of a lambda abstraction to combinations of operators

    Coq 1

  3. docker-templates Public

    1

  4. actions Public

    A collection of useful GitHub Actions

Repositories

Showing 7 of 7 repositories
  • dockerfiles Public

    Docker files for bondi

    0 MIT 0 0 0 Updated Feb 12, 2019
  • bondi Public Forked from Barry-Jay/bondi

    source code for the bondi programming language

    OCaml 1 GPL-3.0 12 0 0 Updated Feb 12, 2019
  • website Public
    CSS 0 0 0 0 Updated Jan 23, 2019
  • docker-templates Public
    1 MIT 0 0 0 Updated Jan 17, 2019
  • actions Public

    A collection of useful GitHub Actions

    0 MIT 0 0 0 Updated Jan 17, 2019
  • Intensional-computation Public Forked from Barry-Jay/Intensional-computation

    translations of a lambda abstraction to combinations of operators

    Coq 1 GPL-3.0 4 0 0 Updated Jan 9, 2019
  • lambdaSF Public Forked from Barry-Jay/lambdaSF

    implementation of lambda-SF-calculus plus some basic theorems

    Coq 0 3 0 0 Updated Oct 24, 2017

Top languages

Loading…

Most used topics

Loading…