kyagrd

kyagrd's Stars

• digitallyinduced/ihp

  🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

  Language:Haskell4.8k37809191

• IHaskell/IHaskell

  A Haskell kernel for the Jupyter project.

  Language:Jupyter Notebook2.6k51784257

• tensorflow/haskell

  Haskell bindings for TensorFlow

  Language:Haskell1.6k89108194

• SpencerPark/IJava

  A Jupyter kernel for executing Java code.

  Language:Java1.1k35146209

• shime/livedown

  Live Markdown previews for your favorite editor.

  Language:JavaScript76573851

• tau-prolog/tau-prolog

  An open source Prolog interpreter in JavaScript

  Language:JavaScript5592427553

• forax/java-guide

  A guide of modern Java (Java 17)

  Language:Jupyter Notebook54135365

• runtimeverification/evm-semantics

  K Semantics of the Ethereum Virtual Machine (EVM)

  Language:Python50154345133

• shime/vim-livedown

  Vim plugin for Livedown.

  Language:Vim Script49072519

• runtimeverification/k

  K Framework Tools 7.0

  Language:Java430361.2k141

• aepsilon/turing-machine-viz

  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️

  Language:JavaScript2365741

• kframework/k-legacy

  The K tools (deprecated, see README)

  Language:Java146291.1k61

• evm-lang-design/evm-lang-design

  Language Design Community for the EVM: Intro and Resources

  1373409

• aisamanra/haddock-cheatsheet

  101410

• abella-prover/abella

  An interactive theorem prover based on lambda-tree syntax

  Language:OCaml881013817

• IHaskell/ihaskell-notebook

  IHaskell image for Jupyter Docker Stacks

  Language:Jupyter Notebook7662810

• sstucki/system-f-agda

  A formalization of the polymorphic lambda calculus extended with iso-recursive types

  Language:Agda67308

• smichal/hs-logic

  A simple library for Haskell that allows relational programming.

  Language:Haskell47404

• sweirich/replib

  Replib: generic programming & Unbound: generic treatment of binders

  Language:Coq4494112

• ucsd-progsys/lh-plugin-demo

  A small package that demonstrates how to use LiquidHaskell as a GHC plugin

  Language:Haskell2371214

• RakeshC7/HTML5-Boilerplate

  A fast, flexible and modern template for beginners and experts.

  Language:CSS150055

• jyp/topics

  Various interesting topics I'm looking at

  Language:Haskell13604

• prosyslab/sigpl23-tutorial

  Language:Jupyter Notebook10103

• LPCIC/elpi-lang

  visual studio code extension for Elpi

  Language:JavaScript86130

• larrytheliquid/spire

  The Spire Programming Language

  Language:Haskell7402

• hnu-pl/PLbook

  Language:Jupyter Notebook5101

• oss2024hnu/coursegraph-py

  Language:Python5131671

• PsiCalculiWorkbench/PsiCalculiWorkbench

  The psi-calculi workbench tool for concurrent system modeling and verification.

  Language:Standard ML430

• matsubara0507/iio

  Io kernel for Jupyter/IPython Notebook

  Language:Jupyter Notebook1301

• spec-project/SPEC-0.3

  SPEC: An equivalence checker for the spi-calculus (Version 0.3)

  Language:OCaml1411