kevinclancy

fret

A framework for the elicitation, specification, formalization and understanding of requirements.

gluon

A static, type inferred and embeddable language written in Rust.

zydeco

a proof-of-concept programming language based on Call-by-push-value

functional-linear-algebra

Formalizing linear algebra in Agda by representing matrices as functions

agda-sizedIO

IO using sized types and copatterns

Nomos

This repository contains an implementation of Nomos, a programming language for smart contracts based on resource-aware session types.

ocaml-solidity

Ocaml-solidity provides a Solidity parser and typechecker

pureshell

A Bash backend for PureScript

vscode-haskell

VS Code extension for Haskell, powered by haskell-language-server

shexp

Process library and s-expression based shell

FizzBuzzEnterpriseEdition

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

nickel

Better configuration for less

Bolero

Bolero brings Blazor to F# developers with an easy to use Model-View-Update architecture, HTML combinators, hot reloaded templates, type-safe endpoints, advanced routing and remoting capabilities, and more.

iknow

Community development repository for iKnow

dns-alloy

Modeling DNS with Alloy

icontract

Design-by-contract in Python3 with informative violation messages and inheritance

gocontracts

A tool for design-by-contract in Go

z3

The Z3 Theorem Prover

levy

A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notation, the 'modprec' branch fiddles with the parser, and the 'datatype' branch totally changes the parser (damn you, reduce/reduce errors) and adds support for user-defined datatypes. The 'holey' branch is highly experimental; I am using it to explore some ideas in generic programming.

dynamodb-onetable

DynamoDB access and management for one table designs with NodeJS

MUMPS-DataBallet

mhttpd

MUMPS httpd

Mumps

Some scary looking source code!

fsharp-companies

Community curated list of companies that use F#

VistA-M

OSEHRA VistA M Components

alloydocs

Proposed documentation for alloytools.org

Electrum2

Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

inference-in-agda

A tutorial on how Agda infers things

agda-mode-vscode

agda-mode on VS Code

schmitty

Agda bindings to SMT-LIB2 compatible solvers.