femtomc

femtomc's Stars

• zed-industries/zed

  Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

  Language:Rust52.8k23010.2k3.4k

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust36.6k1032.8k984

• helix-editor/helix

  A post-modern modal text editor.

  Language:Rust34.8k1914.7k2.6k

• motion-canvas/motion-canvas

  Visualize Your Ideas With Code

  Language:TypeScript16.5k80391617

• marimo-team/marimo

  A reactive notebook for Python — run reproducible experiments, execute as a script, deploy as an app, and version with git.

  Language:Python9k46922327

• Syllo/nvtop

  GPU & Accelerator process monitoring for AMD, Apple, Huawei, Intel, NVIDIA and Qualcomm

  Language:C8.4k78259302

• adam-maj/tiny-gpu

  A minimal GPU design in Verilog to learn how GPUs work from the ground up

  Language:SystemVerilog7.3k6924558

• HazyResearch/ThunderKittens

  Tile primitives for speedy kernels

  Language:Cuda1.9k333392

• mkdocstrings/mkdocstrings

  :blue_book: Automatic documentation from sources, for MkDocs.

  Language:Python1.8k14421108

• google-deepmind/penzai

  A JAX research toolkit for building, editing, and visualizing neural networks.

  Language:Python1.7k181855

• google/typograms

  Language:JavaScript1.3k7620

• nvarner/typst-lsp

  [Deprecated] An early language server for Typst, plus a VS Code extension

  Language:Rust1.2k619076

• Eliah-Lakhin/lady-deirdre

  Compiler front-end foundation technology.

  Language:Rust447101613

• lecopivo/SciLean

  Scientific computing in Lean 4

  Language:Lean353204031

• fralau/mkdocs-macros-plugin

  Create richer and more beautiful pages in MkDocs, by using variables and calls to macros in the markdown code.

  Language:Python347513450

• kaarmu/typst.vim

  Vim plugin for Typst

  Language:Vim Script31267428

• google-deepmind/synjax

  Language:Python24313214

• BasisResearch/chirho

  An experimental language for causal reasoning

  Language:Python1801121612

• leanprover/verso

  Lean documentation authoring tool

  Language:Lean129176214

• probcomp/LLaMPPL

  A domain-specific probabilistic programming language for modeling and inference with language models

  Language:Python113559

• opencompl/lean-mlir

  A minimal development of SSA theory

  Language:Lean10469811

• probcomp/hfppl

  Probabilistic programming with HuggingFace language models

  Language:Python926916

• DanielNoord/pydocstringformatter

  Automatically format your Python docstrings to conform with PEP 8 and PEP 257

  Language:Python783478

• iree-org/iree-jax

  Language:Jupyter Notebook50341719

• kach/memo

  A domain-specific probabilistic programming language for reasoning about reasoning

  Language:Python433664

• probcomp/bayes3d

  Language:Jupyter Notebook23676

• leanprover/SHerLOC

  A StableHLO analyzer in Lean

  Language:Lean15712

• srush/DiffRast

  Language:HTML9112

• probcomp/GenSP.jl

  Probabilistic programming library extending Gen with support for Stochastic Probabilities

  Language:Julia5310

• raviqqe/arachne

  Language:Rust5213