Skip to content

@placidex placidex

Change the repository type filter

All

    Repositories list

    46 repositories

    • scotty

      Public
      Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •135•0•0•0•Updated Feb 24, 2025Feb 24, 2025

    • quote4

      Public
      Intuitive, type-safe expression quotations for Lean 4.
      Lean
      •
      Apache License 2.0
      •13•0•0•0•Updated Jan 14, 2025Jan 14, 2025

    • lean4-parser

      Public
      Parser Combinator Library for Lean 4
      Lean
      •
      Apache License 2.0
      •6•0•0•0•Updated Jan 14, 2025Jan 14, 2025

    • llvm-codegen

      Public
      LLVM code generation in Haskell
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •5•0•0•0•Updated Nov 3, 2024Nov 3, 2024

    • Lean-First-Steps

      Public
      Lean
      •
      GNU General Public License v2.0
      •3•0•0•0•Updated Oct 17, 2024Oct 17, 2024

    • lean4-metaprogramming-book

      Public
      Lean
      •
      Apache License 2.0
      •61•0•0•0•Updated Sep 30, 2024Sep 30, 2024

    • time

      Public
      Date primitives for lean based on chrono and time
      Lean
      •1•0•0•0•Updated Aug 14, 2024Aug 14, 2024

    • specs

      Public
      🧪 | A test framework for Lean 4.
      Lean
      •2•0•0•0•Updated Aug 11, 2024Aug 11, 2024

    • theorem_proving_in_lean4

      Public
      Theorem Proving in Lean 4
      JavaScript
      •
      Apache License 2.0
      •97•0•0•0•Updated Jul 31, 2024Jul 31, 2024

    • lean4-sdk

      Public
      Extism Lean 4 Host SDK
      Lean
      •2•0•0•0•Updated Jul 22, 2024Jul 22, 2024

    • lean4-alloy

      Public
      Write C shims from within Lean code.
      Lean
      •
      Apache License 2.0
      •15•0•0•0•Updated Jul 22, 2024Jul 22, 2024

    • socket.lean

      Public
      sockets for Lean 4
      Lean
      •
      MIT License
      •10•0•0•0•Updated Jul 16, 2024Jul 16, 2024

    • http

      Public
      🌐 | HTTP primitives for Lean 4
      Lean
      •
      Apache License 2.0
      •7•0•0•0•Updated Jul 2, 2024Jul 2, 2024

    • case-insensitive

      Public
      Case Insensitive String for Lean4
      Lean
      •1•0•0•0•Updated Jun 4, 2024Jun 4, 2024

    • mendel

      Public
      Mutation Operators for Haskell Sourcecode
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•0•0•0•Updated Apr 23, 2024Apr 23, 2024

    • logical_verification_2024

      Public
      The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
      Lean
      •8•0•0•0•Updated Mar 28, 2024Mar 28, 2024

    • cabal

      Public
      Official upstream development repository for Cabal and cabal-install
      Haskell
      •
      Other
      •704•0•0•0•Updated Mar 9, 2024Mar 9, 2024

    • vidyut

      Public
      Infrastructure for Sanskrit software. For Python bindings, see `vidyut-py`.
      Rust
      •21•0•0•0•Updated Feb 4, 2024Feb 4, 2024

    • homebrew-souffle

      Public
      Brew Scripts
      Ruby
      •12•0•0•0•Updated Jan 1, 2024Jan 1, 2024

    • placidex.github.io

      Public
      Placidex Website
      HTML
      •0•0•0•0•Updated Dec 26, 2023Dec 26, 2023

    • blog

      Public
      Source repo for blog
      0•0•0•0•Updated Dec 26, 2023Dec 26, 2023

    • Wasm.lean

      Public
      A WebAssembly implementation in Lean4
      Lean
      •
      MIT License
      •4•0•0•0•Updated Dec 13, 2023Dec 13, 2023

    • souffle

      Public
      Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
      C++
      •
      Universal Permissive License v1.0
      •212•0•0•0•Updated Nov 28, 2023Nov 28, 2023

    • scl

      Public
      HTML
      •
      GNU General Public License v2.0
      •9•0•0•0•Updated Nov 20, 2023Nov 20, 2023

    • aksharamukha-python

      Public
      Aksharamukha Python Library
      Python
      •
      GNU Affero General Public License v3.0
      •15•0•0•0•Updated Nov 11, 2023Nov 11, 2023

    • common_maps

      Public
      15•0•0•0•Updated Nov 8, 2023Nov 8, 2023

    • eclair-lang

      Public
      A minimal, fast Datalog implementation in Haskell that compiles to LLVM
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •13•0•0•0•Updated Nov 5, 2023Nov 5, 2023

    • rock

      Public
      Build system
      Haskell
      •
      Other
      •8•0•0•0•Updated Oct 13, 2023Oct 13, 2023

    • souffle-haskell

      Public
      Haskell bindings for the Souffle datalog language
      C++
      •
      MIT License
      •12•0•0•0•Updated Oct 12, 2023Oct 12, 2023

    • circt

      Public
      Circuit IR Compilers and Tools
      C++
      •
      Other
      •323•0•0•0•Updated Oct 1, 2023Oct 1, 2023