Temporary Disabled. :) please Go back dannypsnl (Lîm Tsú-thuàn) / Starred · GitHub www.fgks.org » Address: [go: up one dir, main page] Include Form Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies Skip to content Navigation Menu Toggle navigation Sign in Product Actions Automate any workflow Packages Host and manage packages Security Find and fix vulnerabilities Codespaces Instant dev environments GitHub Copilot Write better code with AI Code review Manage code changes Issues Plan and track work Discussions Collaborate outside of code Explore All features Documentation GitHub Skills Blog Solutions By size Enterprise Teams Startups By industry Healthcare Financial services Manufacturing By use case CI/CD & Automation DevOps DevSecOps Resources Topics AI DevOps Innersource Open Source Security Software Development Explore Learning Pathways White papers, Ebooks, Webinars Customer Stories Partners Open Source GitHub Sponsors Fund open source developers The ReadME Project GitHub community articles Repositories Topics Trending Collections Enterprise Enterprise platform AI-powered developer platform Available add-ons Advanced Security Enterprise-grade security features GitHub Copilot Enterprise-grade AI features Premium Support Enterprise-grade 24/7 support Pricing Search or jump to... Search code, repositories, users, issues, pull requests... Search Clear Search syntax tips Provide feedback We read every piece of feedback, and take your input very seriously. Include my email address so I can be contacted Saved searches Use saved searches to filter your results more quickly Name Query To see all available qualifiers, see our documentation. Sign in Sign up You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} dannypsnl Follow Overview Repositories 71 Projects 0 Packages 0 Stars 4.8k More Overview Repositories Projects Packages Stars dannypsnl Follow Lîm Tsú-thuàn dannypsnl Follow 巫術 • 展開 322 followers · 131 following @second-state Taiwan 13:55 (UTC +08:00) https://dannypsnl.me Mastodon @dannypsnl@g0v.social Achievementsx2x3Achievementsx2x3 Organizations Block or Report Block or report dannypsnl Block user Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users. You must be logged in to block users. Add an optional note: Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you. Block user Report abuse Contact GitHub support about this user’s behavior. Learn more about reporting abuse. Report abuse Overview Repositories 71 Projects 0 Packages 0 Stars 4.8k More Overview Repositories Projects Packages Stars Lists (6) Sort Name ascending (A-Z) Sort by Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated dependent type 12 repositories ✨ Inspiration 4 repositories math 16 repositories 🚀 My stack 14 repositories tutorial 6 repositories work: second state 3 repositories Beta Lists are currently in beta. Share feedback and report bugs. Search Search Type: All All Sources Forks Can be sponsored Mirrors Templates Nothing to show Language All languages ASL ATS Ada Agda Assembly Astro BQN Batchfile Bluespec Boogie C C# C++ CMake CSS Chapel Cirru CodeQL Common Lisp Coq Crystal Cuda D Dafny Dockerfile Elixir Elm Emacs Lisp Erlang F# F* Factor Fennel Forth Fortran Futhark GLSL Gleam Go Grammatical Framework HCL HTML Haml Haskell Idris Isabelle Java JavaScript Jinja Julia Jupyter Notebook Kotlin LLVM Lean Lua M4 MATLAB Makefile Markdown Mathematica Mercury Modula-2 Mustache Nearley Nim Nix OCaml Oberon Objective-C Objective-C++ OpenEdge ABL OpenSCAD PHP Pascal Pony Processing Prolog PureScript Python R Racket ReScript Reason RenderScript Rich Text Format Roff Ruby Rust SCSS SMT Scala Scheme Self Shell Slash Smalltalk Standard ML Stylus Swift SystemVerilog TLA Tcl TeX TypeScript Typst VHDL Verilog Vim Script Vue WebAssembly XSLT Yacc Zig sed Nothing to show Sort by: Recently starred Recently starred Recently active Most stars Nothing to show Starred repositories Showing results virtualsecureplatform / HOGE FPGA implementation of TFHE Scala 6 Updated Jul 23, 2024 thosgood / maths-dictionary multilingual dictionary of mathematical terminology JavaScript 19 9 Updated Jul 22, 2024 kentookura / irmin-effects-demo Nix 3 1 Updated Jul 22, 2024 gbaz / mess Martin-Löf Extensible Specification and Simulator Racket 28 5 Updated Jul 1, 2015 brendanzab / lean-holes Interactive holes for Lean 4 Lean 14 Updated Apr 19, 2024 dylibso / chicory Native JVM WebAssembly runtime Java 363 30 Updated Jul 23, 2024 se-tuebingen / mini-jvm Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming. Java 49 1 Updated Jul 18, 2024 haflang / heron A special-purpose processor for pure, non-strict functional languages Haskell 16 Updated Jul 19, 2024 agda-web / agda-wasm-dist Distributions of Agda executable compiled into WebAssembly. Python 11 Updated Jul 21, 2024 tfhe / spqlios-arithmetic spqlios arithmetic library for FHE and post-quantum crypto C 12 Updated Jul 22, 2024 gabe565 / ascii-movie 🌌 Star Wars SSH + Telnet server written in Go Go 181 8 Updated Jul 14, 2024 gojue / ecapture Capturing SSL/TLS plaintext without a CA certificate using eBPF. Supported on Linux/Android kernels for amd64/arm64. C 9,072 867 Updated Jul 21, 2024 mazeppa-dev / mazeppa A modern supercompiler for call-by-value functional languages OCaml 332 6 Updated Jul 23, 2024 JuliaData / YAML.jl Parse yer YAMLs Julia 127 45 Updated Jul 18, 2024 batterseapower / chsc The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation" Haskell 21 3 Updated Mar 30, 2011 scholzhannah / CWComplexes In this repository I am collecting the code of my formalisation of CW-complexes in LEAN. Lean 4 1 Updated Jul 23, 2024 Wasm-DSL / spectec Forked from WebAssembly/spec Wasm SpecTec specification tools WebAssembly 25 8 Updated Jul 24, 2024 ejrgilbert / whamm Rust 7 2 Updated Jul 23, 2024 ToposInstitute / RelationalThinking-Book TeX 3 Updated Jul 15, 2024 ocurrent / current_incr Self-adjusting computations OCaml 23 6 Updated Oct 9, 2023 zherczeg / sljit Platform independent low-level JIT compiler C 809 70 Updated Jul 22, 2024 felko / linear-algebra Linear algebra formalization in Agda Agda 16 Updated Nov 28, 2019 kentookura / forester-incr OCaml 4 Updated Jul 17, 2024 leanprover-community / lean4web The Lean 4 web editor CSS 57 15 Updated Jun 5, 2024 ocurrent / ocurrent Keeps things up-to-date (a CI/CD pipeline OCaml eDSL) OCaml 139 38 Updated Jul 16, 2024 MichaelMMacLeod / formal-mergesort WIP formally-verified implementation of mergesort (efficient; only allocates one auxiliary array, sorts arrays in-place) Lean 3 Updated Jul 19, 2024 HackerPoet / NonEuclidean A Non-Euclidean Rendering Engine for 3D scenes. C++ 6,045 580 Updated Nov 14, 2023 snowleopard / build Build Systems à la Carte TeX 240 18 Updated Jun 30, 2024 medovina / natty Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development. OCaml 27 1 Updated Jun 9, 2024 JoeyEremondi / lean-cwf A basic Categories with Families library for Lean Lean 2 Updated May 21, 2024 PreviousNext Starred topics # Parsing LaTeX # Deep learning # rkt # Natural language processing Elixir Raspberry Pi # Machine learning The Julia Language # Game engine See all starred topics You can’t perform that action at this time.
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
FPGA implementation of TFHE
multilingual dictionary of mathematical terminology
Martin-Löf Extensible Specification and Simulator
Interactive holes for Lean 4
Native JVM WebAssembly runtime
Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
A special-purpose processor for pure, non-strict functional languages
Distributions of Agda executable compiled into WebAssembly.
spqlios arithmetic library for FHE and post-quantum crypto
🌌 Star Wars SSH + Telnet server written in Go
Capturing SSL/TLS plaintext without a CA certificate using eBPF. Supported on Linux/Android kernels for amd64/arm64.
A modern supercompiler for call-by-value functional languages
Parse yer YAMLs
The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"
In this repository I am collecting the code of my formalisation of CW-complexes in LEAN.
Wasm SpecTec specification tools
Self-adjusting computations
Platform independent low-level JIT compiler
Linear algebra formalization in Agda
The Lean 4 web editor
Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
WIP formally-verified implementation of mergesort (efficient; only allocates one auxiliary array, sorts arrays in-place)
A Non-Euclidean Rendering Engine for 3D scenes.
Build Systems à la Carte
Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.
A basic Categories with Families library for Lean