ozkutuk

ozkutuk's Stars

• mrcjkb/haskell-tools.nvim

  Supercharge your Haskell experience in neovim!

  Language:Lua41418

• evincarofautumn/kitten

  A statically typed concatenative systems programming language.

  Language:Haskell1.1k39

• MangoIV/cabal-audit

  audit your cabal projects for haskell-specific security-advisories

  Language:Haskell181

• albertprz/puresheet

  Spreadsheet management application on Halogen

  Language:PureScript24

• Treeniks/isabelle-lsp.nvim

  Language:Lua61

• toptobes/typefuck-haskell

  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)

  Language:Haskell18

• martinvonz/jj

  A Git-compatible VCS that is both simple and powerful

  Language:Rust7.2k240

• nix-community/lanzaboote

  Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]

  Language:Rust75340

• osa1/h10

  A Haskell 2010 type checker

  Language:Rust131

• numtide/treefmt

  one CLI to format your repo

  Language:Go53332

• lesserfish/PeepingTom

  A virtual memory scanner

  Language:Haskell101

• DSLsofMath/FPClimate

  PhD course on Functional Programming and Climate Impact Research

  Language:Agda483

• blanchette/logical_verification_2023

  Hitchhiker's Guide to Logical Verification (2023 Edition)

  Language:Lean6012

• nix-community/disko

  Declarative disk partitioning and formatting using nix [maintainer=@Lassulus]

  Language:Nix1.4k157

• jvanbruegge/isabelle-lambda-calculus

  A formal definition and verification of System F. To be extended to System Fc

  Language:Isabelle101

• WasmCert/WasmCert-Isabelle

  A mechanisation of Wasm in Isabelle.

  Language:Isabelle184

• potatoqualitee/eol-dr

  A crowd-sourced guide to help techs help their non-tech spouses / partners / parents / kids when we are at the end-of-life

  2.1k105

• marvinborner/bruijn

  :abacus: Programming with pure lambda calculus

  Language:Haskell75

• stepchowfun/tagref

  Tagref helps you manage cross-references in your code.

  Language:Rust1709

• pigworker/CS410-17

  being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

  Language:Agda26227

• AndrasKovacs/elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

  Language:Haskell57331

• sweirich/lambda-n-ways

  Benchmarks for capture-avoiding substitution

  Language:HTML1055

• ghc-proposals/ghc-proposals

  Proposed compiler and language changes for GHC and GHC/Haskell

  Language:Python679265

• woodrush/lambda-8cc

  x86 C compiler written in untyped lambda calculus

  Language:Common Lisp60916

• sheaf/acts

  Haskell library for semigroup actions and torsors

  Language:Haskell564

• LeventErkok/sbv

  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

  Language:Haskell23633

• haskellfoundation/hs-opt-handbook.github.io

  The Haskell Optimization Handbook

  Language:HTML16912

• EgeCiklabakkal/spsir

  Implementation of "Single-pass stratified importance resampling"

  Language:C++265

• gilith/metis

  An automatic theorem prover for first order logic with equality

  Language:Standard ML281

• frizensami/haskell-optimization

  A beginner's guide to Haskell optimization

  62