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:Haskell5k38820200

• IHaskell/IHaskell

  A Haskell kernel for the Jupyter project.

  Language:Jupyter Notebook2.6k51788256

• tensorflow/haskell

  Haskell bindings for TensorFlow

  Language:Haskell1.6k89108196

• SpencerPark/IJava

  A Jupyter kernel for executing Java code.

  Language:Java1.1k35149219

• shime/livedown

  Live Markdown previews for your favorite editor.

  Language:JavaScript76373945

• tau-prolog/tau-prolog

  An open source Prolog interpreter in JavaScript

  Language:JavaScript5802427654

• forax/java-guide

  A guide of modern Java (Java 17)

  Language:Jupyter Notebook55235368

• runtimeverification/evm-semantics

  K Semantics of the Ethereum Virtual Machine (EVM)

  Language:Python51054347146

• shime/vim-livedown

  Vim plugin for Livedown.

  Language:Vim Script49272519

• runtimeverification/k

  K Framework Tools 7.0

  Language:Python457391.2k150

• aepsilon/turing-machine-viz

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

  Language:JavaScript2485741

• 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

  103410

• abella-prover/abella

  An interactive theorem prover based on lambda-tree syntax

  Language:OCaml901014119

• IHaskell/ihaskell-notebook

  IHaskell image for Jupyter Docker Stacks

  Language:Jupyter Notebook787299

• sstucki/system-f-agda

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

  Language:Agda70308

• 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:Haskell2461215

• RakeshC7/HTML5-Boilerplate

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

  Language:CSS180155

• jyp/topics

  Various interesting topics I'm looking at

  Language:Haskell13604

• prosyslab/sigpl23-tutorial

  Language:Jupyter Notebook9103

• LPCIC/elpi-lang

  visual studio code extension for Elpi

  Language:JavaScript86131

• larrytheliquid/spire

  The Spire Programming Language

  Language:Haskell7402

• PsiCalculiWorkbench/PsiCalculiWorkbench

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

  Language:Standard ML630

• hnu-pl/PLbook

  Language:Jupyter Notebook5200

• oss2024hnu/coursegraph-py

  Language:Python5131668

• 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