-
lem Public
Forked from lem-project/lemCommon Lisp editor/IDE with high expansibility
Common Lisp MIT License UpdatedDec 27, 2024 -
puzzles Public
Advent of Code, HackerRank, etc ... a variety of programming problems solved in a variety of ways.
-
-
aquascope Public
Forked from cognitive-engineering-lab/aquascopeInteractive visualizations of Rust at compile-time and run-time
Rust MIT License UpdatedDec 20, 2024 -
-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedNov 21, 2024 -
depot Public
Forked from cognitive-engineering-lab/depotA JS devtool orchestrator
Rust MIT License UpdatedNov 6, 2024 -
rust-formal-methods.github.io Public
Forked from rust-formal-methods/rust-formal-methods.github.ioHTML UpdatedOct 31, 2024 -
-
-
-
this-week-in-rust Public
Forked from rust-lang/this-week-in-rustData for this-week-in-rust.org
HTML UpdatedAug 14, 2024 -
miri Public
Forked from rust-lang/miriAn interpreter for Rust's mid-level intermediate representation
Rust Apache License 2.0 UpdatedAug 9, 2024 -
-
coalton Public
Forked from coalton-lang/coaltonCoalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Common Lisp MIT License UpdatedJun 15, 2024 -
-
-
rustc-plugin Public
Forked from cognitive-engineering-lab/rustc_pluginA framework for writing plugins that integrate with the Rust compiler
Rust MIT License UpdatedMay 20, 2024 -
-
ts-rs Public
Forked from Aleph-Alpha/ts-rsGenerate TypeScript bindings from Rust types
Rust MIT License UpdatedFeb 13, 2024 -
rust-analyzer Public
Forked from rust-lang/rust-analyzerA Rust compiler front-end for IDEs
Rust Apache License 2.0 UpdatedJan 22, 2024 -
cl-pdf Public
Forked from mbattyani/cl-pdfCL-PDF is a cross-platform Common Lisp library for generating PDF files.
Common Lisp Other UpdatedDec 30, 2023 -
naughty-traits Public
Forked from weiznich/rust-foundation-community-grantRust UpdatedDec 20, 2023 -
chalk Public
Forked from rust-lang/chalkAn implementation and definition of the Rust trait system using a PROLOG-like logic solver
Rust Other UpdatedOct 19, 2023 -
cl-roman Public
Write Roman Numeral literals in Common Lisp.
Common Lisp MIT License UpdatedJul 8, 2023 -
-
-
flowistry Public
Forked from willcrichton/flowistryFlowistry is an IDE plugin for Rust that helps you focus on relevant code.
Rust MIT License UpdatedFeb 4, 2023 -
polonius Public
Forked from rust-lang/poloniusDefines the Rust borrow checker.
Rust Apache License 2.0 UpdatedNov 14, 2022 -
gobra Public
Forked from viperproject/gobraGobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Scala Other UpdatedOct 4, 2022