tsoding/profun external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

tsoding/profun

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/tsoding/profun)

Close

tsoding / profunView on GitHubMore

• External links
• Readme badge

Procedural vs Functional

☆80Aug 3, 2019Updated 6 years ago

Alternatives and similar repositories for profun

Users that are interested in profun are comparing it to the libraries listed below

• tsoding / aoc-2019

  View on GitHub
  Advent of Code 2019 solutions in Haskell
  ☆12Jan 28, 2021Updated 5 years ago
• Lanayx / HighloadCup

  View on GitHub
  Highload cup F# solution
  ☆12Oct 9, 2018Updated 7 years ago
• tsoding / HyperNerd

  View on GitHub
  Total Surveillance Automatic Ban Machine for Twitch and Discord
  ☆146Oct 19, 2020Updated 5 years ago
• R1AACR / bashbot

  View on GitHub
  Telegram bot in Bash
  ☆12Jun 1, 2018Updated 7 years ago
• tsoding / schedule

  View on GitHub
  Schedule for Tsoding Streams
  ☆34Dec 2, 2022Updated 3 years ago
• gerc99 / SawimNE

  View on GitHub
  Jabber/XMPP client for Android
  ☆20Oct 13, 2018Updated 7 years ago
• rexim / beatwave

  View on GitHub
  A musical puzzle game
  ☆20Mar 3, 2017Updated 8 years ago
• clio-lang / examples

  View on GitHub
  A few Clio examples
  ☆14Oct 11, 2021Updated 4 years ago
• mxpv / stb

  View on GitHub
  Rust bindings to stb
  ☆10Dec 3, 2025Updated 2 months ago
• bakwc / Pastexen

  View on GitHub
  Quick screenshots and source code publish
  ☆46Nov 5, 2018Updated 7 years ago
• Aiden01 / r-i18n

  View on GitHub
  An i18n implementation in Rust.
  ☆11May 4, 2019Updated 6 years ago
• ForNeVeR / Indihiang

  View on GitHub
  Web log analyzing tool
  ☆26Nov 19, 2017Updated 8 years ago
• axetion / petscop_translator

  View on GitHub
  simple tool that "translates" the Petscop phonetic button code
  ☆14Sep 4, 2018Updated 7 years ago
• rexim / sobaki

  View on GitHub
  Doggo Browser
  ☆12May 28, 2021Updated 4 years ago
• tsoding / print_f64

  View on GitHub
  print_f64 implementation purely in assembly without using any 3rd party dependencies including libc, libm, etc.
  ☆12Feb 1, 2021Updated 5 years ago
• Willyboar / colours

  View on GitHub
  A Gleam Library for adding colours in Terminal
  ☆12Feb 6, 2024Updated 2 years ago
• ForNeVeR / cil-mode

  View on GitHub
  Major emacs mode for editing Common Intermediate Language files.
  ☆14Jun 22, 2016Updated 9 years ago
• HZooly / create-discord-bot

  View on GitHub
  🚀 Create Discord Bot with CLI
  ☆13Apr 30, 2020Updated 5 years ago
• rodrigogiraoserrao / APLLeetCode

  View on GitHub
  Solving LeetCode problems in Dyalog APL
  ☆11Jun 13, 2022Updated 3 years ago
• tsoding / ada-gol

  View on GitHub
  Simple Game of Life implementation in Ada.
  ☆23Feb 18, 2021Updated 5 years ago
• rexim / freepascal-opengl-shaders

  View on GitHub
  Small OpenGL Shaders example using FreePascal Compiler
  ☆15Apr 8, 2021Updated 4 years ago
• Ciremun / fisiks

  View on GitHub
  cross-platform falling sand
  ☆17Nov 23, 2021Updated 4 years ago
• bruneli / scalaopt

  View on GitHub
  Scala Numerical Optimization library
  ☆10Nov 8, 2017Updated 8 years ago
• tsoding / quaternions

  View on GitHub
  Just a test bench to learn Quaternions
  ☆10Dec 20, 2020Updated 5 years ago
• Ciremun / game-of-life

  View on GitHub
  Game Of Life & Brian's Brain
  ☆16Sep 17, 2021Updated 4 years ago
• EgorBo / left-pad-net

  View on GitHub
  left-pad for C# via nuget
  ☆14Mar 24, 2016Updated 9 years ago
• daviwil / electroshell

  View on GitHub
  An experimental PowerShell console hosted in Electron.
  ☆16Jan 20, 2016Updated 10 years ago
• Grafikart / grafibot

  View on GitHub
  Bot discord
  ☆15Nov 4, 2024Updated last year
• vibhavp / erc-twitch

  View on GitHub
  Support for Twitch emotes on ERC
  ☆12Apr 27, 2017Updated 8 years ago
• pchalamet / DotNetTools

  View on GitHub
  Tools for .net
  ☆15Oct 14, 2023Updated 2 years ago
• betafcc / vscode-fp-ts-codegen

  View on GitHub
  Expands haskell-syntax ADTs to typescript equivalent types definitions using gcanti/fp-ts-codegen
  ☆16May 20, 2019Updated 6 years ago
• zorchenhimer / nes-pong

  View on GitHub
  Pong written from scratch for the NES
  ☆21Feb 2, 2019Updated 7 years ago
• pragmagic / NimPlatformerGame

  View on GitHub
  UE4 PlatformerGame demo implemented with Nim
  ☆11Sep 14, 2016Updated 9 years ago
• tsoding / voronoi-opengl

  View on GitHub
  Voronoi with OpenGL using Depth Buffer
  ☆36Aug 24, 2023Updated 2 years ago
• codingteam / emulsion

  View on GitHub
  XMPP ↔ Telegram bridge
  ☆33Feb 11, 2026Updated 2 weeks ago
• p3t0r / scala-sql-dsl

  View on GitHub
  Example of an implementation of SQL as a DSL in scala
  ☆53Nov 4, 2010Updated 15 years ago
• tsoding / fizzbuzz-html

  View on GitHub
  FizzBuzz Solution in HTML Programming Language
  ☆17Apr 4, 2021Updated 4 years ago
• codingteam / naggum

  View on GitHub
  .NET-based lisp for a more civilized age
  ☆16Mar 12, 2022Updated 3 years ago
• tsoding / carrotson

  View on GitHub
  Markov model implementation on sequence of bytes.
  ☆19Nov 23, 2022Updated 3 years ago