Skip to content

@bondi-lang bondi-lang

Change the repository type filter

All

    Repositories list

    7 repositories

    • dockerfiles

      Public
      Docker files for bondi
      MIT License
      •0•0•0•0•Updated Feb 12, 2019Feb 12, 2019

    • bondi

      Public
      source code for the bondi programming language
      OCaml
      •
      GNU General Public License v3.0
      •12•1•0•0•Updated Feb 12, 2019Feb 12, 2019

    • website

      Public
      CSS
      •0•0•0•0•Updated Jan 23, 2019Jan 23, 2019

    • docker-templates

      Public
      dockerbondi-lang
      MIT License
      •0•1•0•0•Updated Jan 17, 2019Jan 17, 2019

    • actions

      Public
      A collection of useful GitHub Actions
      workflowgithub-actions
      MIT License
      •0•0•0•0•Updated Jan 17, 2019Jan 17, 2019

    • Intensional-computation

      Public
      translations of a lambda abstraction to combinations of operators
      Coq
      •
      GNU General Public License v3.0
      •4•1•0•0•Updated Jan 9, 2019Jan 9, 2019

    • lambdaSF

      Public
      implementation of lambda-SF-calculus plus some basic theorems
      Coq
      •3•0•0•0•Updated Oct 24, 2017Oct 24, 2017