Alice (fp-alice)

fp-alice

Geek Repo

Company:Spatial Informatics Group

Location:Georgia

Github PK Tool:Github PK Tool

Alice's starred repositories

vulkan-tutorial-rust

Following the vulkan tutorial(https://vulkan-tutorial.com/) using the Rust programming language.

Language:RustLicense:MITStargazers:425Issues:0Issues:0

vulkanbook

Online book which introduces the main concepts required to write graphics games or any other applications using Vulkan in Java by using the LWJGL library.

Language:JavaLicense:MITStargazers:242Issues:0Issues:0

jecs

A Java Entity-Component-System game engine.

Language:JavaLicense:MITStargazers:7Issues:0Issues:0

minivm

A VM That is Dynamic and Fast

Language:CLicense:MITStargazers:1562Issues:0Issues:0

Scattered-Biome-Blender

Smooth transitions over biome borders using scattered point evaluations.

Language:JavaLicense:CC0-1.0Stargazers:21Issues:0Issues:0

webgl-noise

Procedural Noise Shader Routines compatible with WebGL

Language:CLicense:MITStargazers:2737Issues:0Issues:0

sparse-voxel-octrees

CPU Sparse Voxel Octree Implementation

Language:C++License:NOASSERTIONStargazers:703Issues:0Issues:0

cl-sodium

A wrapper around libsodium, providing easy, correct, safe crypto for common lisp.

Language:Common LispLicense:MITStargazers:20Issues:0Issues:0

bit-smasher

Common Lisp library for handling bit vectors, bit vector arithmetic, and type conversions.

Language:Common LispLicense:MITStargazers:51Issues:0Issues:0

Second-Climacs

Version 2 of the Climacs text editor.

Language:Common LispLicense:BSD-2-ClauseStargazers:274Issues:0Issues:0

websockets

A Haskell library for creating WebSocket-capable servers

Language:HaskellLicense:BSD-3-ClauseStargazers:405Issues:0Issues:0

scala3-template

Scala 3 Template with Standard Stack and Rebuild of Common Libs

Language:ScalaStargazers:2Issues:0Issues:0

scala3js-template

Scala3 with Scala JS and Standard Stack

Language:ScalaStargazers:1Issues:0Issues:0

sbt-multi-project-example

sbt multi-project example

Language:ScalaLicense:MITStargazers:166Issues:0Issues:0

fs2-chat

Sample project demonstrating use of fs2-io to build a chat client and server

Language:ScalaLicense:MITStargazers:130Issues:0Issues:0

endpoints4s

Describe HTTP endpoints in Scala and derive clients, servers, and documentation

Language:ScalaLicense:MITStargazers:406Issues:0Issues:0

quicklens

Modify deeply nested case class fields

Language:ScalaLicense:Apache-2.0Stargazers:818Issues:0Issues:0

no-littering

Help keeping ~/.config/emacs clean

Language:Emacs LispLicense:GPL-3.0Stargazers:613Issues:0Issues:0

radian

🍉 Dotfiles that marry elegance and practicality.

Language:Emacs LispLicense:MITStargazers:489Issues:0Issues:0

mos6502

MOS 6502 emulator written in Rust

Language:RustLicense:BSD-3-ClauseStargazers:75Issues:0Issues:0

js-jit

An x64 JIT compiler for a subset of Javascript

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:0Issues:0

portfolio

My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional logic with their proofs written in Coq.

Stargazers:13Issues:0Issues:0

microparsec

A lightweight alternative to Haskell's Parsec

Language:HaskellLicense:MITStargazers:3Issues:0Issues:0

gists

With way too messy gist.github pages this is an attempt to organise my snippets

Language:HaskellStargazers:398Issues:0Issues:0

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Language:HaskellLicense:MITStargazers:3329Issues:0Issues:0

proselint

A linter for prose.

Language:PythonLicense:BSD-3-ClauseStargazers:4309Issues:0Issues:0

emacs

the greatest emacs setup of all time

Language:Emacs LispStargazers:150Issues:0Issues:0

stlc-haskell

Simply typed lambda calculus in Haskell

Language:HaskellLicense:MITStargazers:5Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:16Issues:0Issues:0

bolt

Bolt is a language with in-built data-race freedom!

Language:OCamlLicense:MITStargazers:553Issues:0Issues:0