Giters
Kaj Munhoz Arfvidsson (kaarmu)

kaarmu

Geek Repo

8

followers

11

following

103

stars

Location:Sweden

Home Page:munhoz.se

Github PK Tool:Github PK Tool

Kaj Munhoz Arfvidsson's starred repositories

ollama

Get up and running with Llama 3.2, Mistral, Gemma 2, and other large language models.

Language:GoLicense:MITStargazers:93086Issues:549Issues:4576

nushell

A new type of shell

Language:RustLicense:MITStargazers:31955Issues:190Issues:5737

bubbletea

A powerful little TUI framework 🏗

Language:GoLicense:MITStargazers:27385Issues:112Issues:301

direnv

unclutter your .profile

Language:GoLicense:MITStargazers:12406Issues:84Issues:707

lipgloss

Style definitions for nice terminal layouts 👄

Language:GoLicense:MITStargazers:8003Issues:37Issues:110

Odin

Odin Programming Language

Language:OdinLicense:BSD-3-ClauseStargazers:6719Issues:83Issues:1947

selfie

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

Language:Jupyter NotebookLicense:BSD-2-ClauseStargazers:2377Issues:62Issues:92

jetson-containers

Machine Learning Containers for NVIDIA Jetson and JetPack-L4T

Language:PythonLicense:MITStargazers:2203Issues:47Issues:501

pdfpc

A presenter console with multi-monitor support for PDF files.

Language:ValaLicense:GPL-3.0Stargazers:1546Issues:33Issues:408

hologram.nvim

👻 A cross platform terminal image viewer for Neovim. Extensible and fast, written in Lua and C. Works on macOS and Linux.

Language:LuaLicense:MITStargazers:1290Issues:23Issues:36

cetz

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

Language:TypstLicense:LGPL-3.0Stargazers:861Issues:5Issues:262

acados

Fast and embedded solvers for nonlinear optimal control

Language:CLicense:NOASSERTIONStargazers:794Issues:24Issues:316

awesome-nu

A curated list of awesome tools that work within the nu language ecosystem e.g. nushell, scripts, nana, etc.

Language:NushellLicense:MITStargazers:719Issues:18Issues:4

rrt-algorithms

n-dimensional RRT, RRT* (RRT-Star)

Language:PythonLicense:MITStargazers:613Issues:6Issues:28

bag-database

A server that catalogs bag files and provides a web-based UI for accessing them.

Language:JavaLicense:NOASSERTIONStargazers:345Issues:20Issues:91

mitex

LaTeX support for Typst, powered by Rust and WASM. https://mitex-rs.github.io/mitex/

Language:RustLicense:Apache-2.0Stargazers:287Issues:3Issues:58

intelhex

Python IntelHex library

Language:PythonLicense:BSD-3-ClauseStargazers:201Issues:14Issues:37

hj_reachability

Hamilton-Jacobi reachability analysis in JAX.

Language:PythonLicense:MITStargazers:107Issues:4Issues:9

FilterLib

Collection of digital filters written in C++.

Language:C++License:MITStargazers:95Issues:8Issues:0

ccml

simple autodiff library

Language:Objective-CStargazers:62Issues:3Issues:0

sshx

P2P SSH using WebRTC

Language:GoLicense:MITStargazers:57Issues:2Issues:3

micro_ros_zephyr_module

micro-ROS Zephyr module and sample code

Language:CLicense:Apache-2.0Stargazers:55Issues:5Issues:34

cudaz

Cuda library for Zig

Language:ZigLicense:NOASSERTIONStargazers:45Issues:1Issues:4

typst-mantys

Template for documenting Typst Packages and Templates.

Language:TypstLicense:MITStargazers:39Issues:1Issues:12

ztun

An implementation of the STUN Protocol in Zig

Language:ZigLicense:MITStargazers:34Issues:2Issues:0

ltl-visualizer

An interactive visualizer for linear temporal logic (LTL)

Language:ReScriptLicense:MPL-2.0Stargazers:27Issues:4Issues:0

mlir-wheels

Language:PythonLicense:Apache-2.0Stargazers:19Issues:2Issues:6

safe_intersections

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis

Language:PythonLicense:MITStargazers:2Issues:2Issues:0

typst-lasaveur

Syntactic sugar for typst math

Language:PythonStargazers:2Issues:1Issues:2

ITRL-Manufacturing

3D printing profiles and information regarding manufacturing tools in the ITRL lab

Language:BatchfileStargazers:1Issues:0Issues:0