japiirainen

japiirainen's Stars

• ziglang/zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  Language:Zig34.9k36911.5k2.5k

• tigerbeetle/tigerbeetle

  The financial transactions database designed for mission critical safety and performance.

  Language:Zig10.5k85537518

• nvim-neorg/neorg

  Modernity meets insane extensibility. The future of organizing your life in Neovim.

  Language:Lua6.5k46669213

• nuejs/nue

  The Design Engineering Framework for the Web

  Language:JavaScript6.1k52160179

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k655.5k356

• artempyanykh/marksman

  Write Markdown with code assist and intelligence in the comfort of your favourite editor.

  Language:F#2.1k1219035

• uiua-lang/uiua

  A stack-based array programming language

  Language:Rust1.6k24225116

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.5k38408338

• the-nix-way/dev-templates

  Dev environments for numerous languages based on Nix flakes [maintainer=@lucperkins]

  Language:Nix1.2k1015101

• inko-lang/inko

  A language for building concurrent software with confidence

  Language:Rust8991471941

• stacks/stacks-project

  Repository for the Stacks Project

  Language:TeX860550152

• Co-dfns/Co-dfns

  High-performance, Reliable, and Parallel APL

  Language:APL71433032

• AlgebraicJulia/Catlab.jl

  A framework for applied category theory in the Julia language

  Language:Julia6121936858

• mortberg/cubicaltt

  Experimental implementation of Cubical Type Theory

  Language:Haskell572456176

• chrisdone/hell

  Haskell-based shell scripting language

  Language:Haskell56327050

• agda/agda-categories

  A new Categories library for Agda

  Language:Agda3692115567

• augustss/MicroHs

  Haskell implemented with combinators

  Language:Haskell364133825

• the1lab/1lab

  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

  Language:Agda350127370

• ALT-F4-LLC/kickstart.nix

  Kickstart your Nix environment.

  Language:Nix17961835

• AndrasKovacs/staged

  Staged compilation with dependent types

  Language:TeX1631333

• mikesol/purescript-deku

  A PureScript web UI framework

  Language:PureScript14043612

• isovector/cornelis

  agda-mode for neovim

  Language:Haskell13389723

• konn/computational-algebra

  General-Purpose Computer Algebra System as an EDSL in Haskell

  Language:HTML921469

• AndrasKovacs/cctt

  high-performance cubical evaluation

  Language:TeX681123

• nomeata/loogle

  Mathlib search tool

  Language:Lean635188

• solomon-b/lambda-calculus-hs

  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques

  Language:Haskell44153

• jespercockx/agda-core

  A work-in-progress core language for Agda, in Agda

  Language:Agda396143

• Lysxia/gradual-eff-paper

  Language:TeX17201

• japiirainen/japiirainen.github.io

  My blog

  Language:Haskell2200

• japiirainen/sp

  A command-line client for spotify.

  Language:Haskell1200